6.2.3 FSM States