Attack Modeling and Verification for Connected System Security. - Saoussen Mili; Nga Nguyen 001; Rachid Chelouah (SoSE, 2018)

Transformation-Based Approach to Security Verification for Cyber-Physical Systems. - Saoussen Mili; Nga Nguyen 001; Rachid Chelouah (IEEE Syst. J., 2019)

Model-driven architecture based security analysis. - Saoussen Mili; Nga Nguyen 001; Rachid Chelouah (Syst. Eng., 2021)