Techniken und Werkzeuge für die Gewährleistung funktionaler Sicherheit von Software in technischen Systemen - Maier, Thomas (Bericht aus dem Inst. A für Mechanik, 2000)