FSM description