Nachweis der Wirksamkeit zeitdiskreter technischer Sicherheitsmechanismen am Beispiel des automatisierten Fahrens - Köhler, Armin J. 1993- (Springer Vieweg, 2023)