A Rigorous Analysis of the Safety and Security in Cyber-Physical Systems. - Samih Alkhamissi; Abdolbaghi Rezazadeh; Asieh Salehi Fathabadi (ICSRS, 2024)