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