Analyzing Cyber-Physical Systems in Cars: A Case Study. - Harry H. Beyel; Omar Makke; Fangbo Yuan; Oleg Gusikhin; Wil M. P. van der Aalst (DATA, 2023)