// state type, event type FSM_TT(tState, tEvent) // start of transition table // current state, next state, event, guard action FSM_TT_BEG( State1, State2, EVENT, guard1, action() ) FSM_TT_CNT( State1, EVENT, guard2, action() ) FSM_TT_END // end of transition table // < FSM_ST>< entry> State1 action1.1(); // < FSM_ST> // < FSM_ST>< do> State1 if( EVENT1.1 == getEvent() ) { consumeEvt(); action1.3(); } // < /FSM_ST> // < FSM_ST>< exit> State1 action1.2(); // < /FSM_ST> // < FSM_ST>< entry> State2 action2.1(); // < /FSM_ST> // < FSM_ST>< do> State2 if( EVENT2.1 == getEvent() ) { consumeEvt(); action2.3(); } // < /FSM_ST> // < FSM_ST>< exit> State2 action2.2(); // < /FSM_ST>