Gelungenes Die Kunst des schönen Satzes

Die Werkzeuge für die Modellierung und Simulation von Zustandsautomaten erlauben die Spezifikation von strukturiertem Verhalten.