A Model-based Approach for Assessing the Security of Cyber-Physical Systems. - Hugo Teixeira De Castro; Ahmed Hussain; Gregory Blanc; Jamal El Hachem; Dominique Blouin; Jean Leneutre; Panos Papadimitratos (ARES, 2024)