A Model-Based Approach for Analysis of Data-Alteration Attacks in Co-operative Vehicles. - Cinzia Bernardeschi; Maurizio Palmieri; Marta Sanguinetti; Alessio Vivani (INTSYS, 2024)