1. Using model driven engineering to support multi-paradigms security analysis;Abdallah;Commun. Comput. Inf. Sci.,2015
2. Industrial use cases of cyber physical systems in EU projects: Preliminary study.;Al-Ali,2017
3. State-of-the-art on Current Formalisms used in Cyber-Physical Systems Development 1201234567891-0 1;Al-Ali,2017
4. Towards a formal specification of multi-paradigm modelling;Amrani,2019
5. Multi-paradigm modelling for cyber–physical systems: a descriptive framework;Amrani;Softw. Syst. Model.,2021