Techniken und Werkzeuge für die Gewährleistung funktionaler Sicherheit von Software in technischen Systemen - Maier, Thomas (Inst. A für Mechanik, 2000)
Zugl.: Stuttgart, Univ., Diss., 2000