© LRS - UNI Erlangen-Nuremberg

1.3 FSM and Simulation