Model-Based Security Analysis of Interconnected Subsystems: A Methodology for Security Compatibility Evaluation. - Mohamed Abdelsalam; Isaac Mpidi Bita; Simon Greiner; Oum-El-Kheir Aktouf; Annabelle Mercier (PST, 2024)