Nachweis der Wirksamkeit zeitdiskreter technischer Sicherheitsmechanismen am Beispiel des automatisierten FahrensArmin J. KohlerPocketTyskLegg i handlekurvNettlager