Ambrosia : ein Echtzeit-Betriebssystem für Automobil-Steuergeräte
Ein Beitrag zum rechnerunterstützten Konzeptentwurf von Verkehrsflugzeugen mit Propellerantrieb
Forms 2000 - Formale Techniken für die Eisenbahnsicherung
Simulation und rechnergestützter Entwurf elektrischer Antriebssysteme