Ein praxisorientierter Leitfaden, der formale Methoden auf dynamische Systeme anwendet, von mathematischer Modellierung bis zur Verifikation in Regelungs- und Softwaresystemen, mit anschaulichen Beispielen.