Modular Modeling and Analysis of a Distributed Production System with Distant Specialised Maintenance. - Daniel Racoceanu; Noureddine Zerhouni; Nawal Addouche (ICRA, 2002)

UML models for dependability analysis of real-time systems. - Nawal Addouche; Christian Antoine; Jacky Montmain (SMC (6), 2004)

Combining Extended UML Models and Formal Methods to Analyze Real-Time Systems. - Nawal Addouche; Christian Antoine; Jacky Montmain (SAFECOMP, 2005)

Methodology for UML Modeling and Formal Verification of Real-Time Systems. - Nawal Addouche; Christian Antoine; Jacky Montmain (CIMCA/IAWTIC, 2006)