Synthesizing scenarios to DEVS models. - Mamoun Sqali; Lucile Torres; Claudia S. Frydman (SpringSim, 2008)

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