An Integrated Approach to Formal Analyze Cyber Physical Systems. - Riad Helal; Akram Seghiri; Faiza Belala (TACC, 2022)

FRAME-ArchSoS: A Model-based Framework for the Formal Specification of Reliable Systems of Systems. - Riad Helal; Akram Seghiri; Kamel Boukhelfa; Faiza Belala; Nabil Hameurlain (ICAASE, 2024)

Towards a Formal Modeling Approach for Cyber-Physical Systems Requirements. - Riad Helal; Akram Seghiri; Faiza Belala; Nabil Hameurlain (ICSCA, 2024)

Towards Specification and Analysis of Dependable Cyber-Physical Systems. - Riad Helal; Kamel Boukhelfa; Akram Seghiri; Nabil Hameurlain; Faiza Belala (MEDI, 2024)