Integrating Z in DEVS : a case study Lift Control System. - Mohamed Wassim Trojet; Maâmar El-Amine Hamri; Claudia S. Frydman (Software Engineering Research and Practice, 2008)

Using Simulation Techniques and Formal Methods for Validating Interaction Based Models. - Mohamed Wassim Trojet; Mamoun Sqali; Lucile Torres; Claudia S. Frydman (MSV, 2009)

Practical application of "lightweight" Z in DEVS framework. - Mohamed Wassim Trojet; Claudia S. Frydman; Maâmar El-Amine Hamri (SpringSim, 2009)