Title: Techniken und Werkzeuge für die Gewährleistung funktionaler Sicherheit von Software in technischen Systemen