| Checking FSM allocation | |
| [0;mTest_FSM(my_id){NULL}: Allocated | |
| [0;mTest_FSM(my_id){NULL}: Received Event EV_B | |
| [0;mTest_FSM(my_id){NULL}: Event EV_B not permitted | |
| [0;mTest_FSM(my_id){NULL}: Received Event EV_A | |
| [0;mTest_FSM(my_id){NULL}: state_chg to ONE | |
| [0;mTest_FSM(my_id){ONE}: Received Event EV_B | |
| [0;mTest_FSM(my_id){ONE}: state_chg to TWO | |
| [0;mTest_FSM(my_id){TWO}: Timeout of T2342 | |
| [0;mTimer | |
| [0;m |