Nachweis der Wirksamkeit zeitdiskreter technischer Sicherheitsmechanismen am Beispiel des automatisierten Fahrens | Kaicus Deutschland