Das Buch befasst sich ausführlich mit den beiden klassischen Aspekten der Automatisierungstechnik, den Steuerungs- und Regelungssystemen, und geht insbesondere auf deren Realisierung mit Hilfe von Software ein. Unabhängig von einer konkreten Programmiersprache liegt hier der Schwerpunkt auf dem Entwurfsprozess und den Verifikationsmethoden für die entwickelten Modelle. Ein eigenes Kapitel ist den immer wichtiger werdenden hybriden Systemen gewidmet, die die Vorteile der typischen Steuerungs- und Regelungssysteme vereinen.