Identification and Verification of Attack-Tree Threat Models in Connected Vehicles. - Masoud Ebrahimi 002; Christoph Striessnig; Joaquim Castella Triginer; Christoph Schmittner (CoRR, 2022)