A contract-based installation methodology for safety-related automotive systems
Statematebasierte Modellierung und Verifikation von Steuerungssystemen: Konzepte und Anwendung
Eine Generische Gefaehrdungsliste fuer Fahrerlose Transportsysteme in der Intralogistik