- Integration of Software Specification Techniques for Applications in Engineering: Priority Program SoftSpez of the German Research Foundation (DFG). Final Report (Lecture Notes in Computer Science)
- Prozessinformatik: Einfuhrung Mit Petrinetzen Fur Elektrotechniker Und Informatiker, Maschinenbauer Und Physiker Nach Dem Grundstudium
- Verkehrssicherheit: Masse Und Modelle, Methoden Und Massnahmen Fur Den Strassen- Und Schienenverkehr
- Prozessinformatik: Automatisierung Mit Rechensystemen Einfuhrung Mit Petrinetzen. Fur Elektrotechniker Und Informatiker, Maschinenbauer Und Physiker Nach Dem Grundstudium
- Aufgabensammlung Zur Regelungstechnik: Lineare Und Nichtlineare Regelvorgange Fur Elektrotechniker, Physiker Und Maschinenbauer AB 5. Semester