- Specification and Development of Interactive Systems: Focus on Streams, Interfaces, and Refinement
- Model-Based Testing of Reactive Systems: Advanced Lectures (Lecture Notes in Computer Science)
- Informatik: Eine Grundlegende Einfuhrung Teil I. Problemnahe Programmierung
- Informatik. Eine Grundlegende Einfuhrung: Teil III: Systemstrukturen Und Systemnahe Programmierung
- Übungen zur Einführung in die Informatik: Strukturierte Aufgabensammlung mit Musterlösungen (Springer-Lehrbuch)