The Virtual Finite State Machine: Yet another FSM simulator