TY - CHAP A1 - Langer, Robin A1 - Michl, Marco A1 - Paula, Daniel A1 - Hof, Hans-Joachim A1 - Schweiger, Hans-Georg T1 - Security analysis of an Event Data Recorder system according to the HEAVENS model T2 - Proceedings of the 30th Annual Congress of the EVU Y1 - 2022 PB - EVU CY - Berlin ER -