Verhalten

Systeme sind dynamisch. Fahrzeuge bewegen sich, Ampeln wechseln die Farbe. Dynamisches Verhalten richtig zu beschreiben ist eine der Herausforderungen im