Vorlesung mit Übungen zu "Funktionale Sicherheit"