L. Hung, H. Vu, D. Foures, and V. Albert, ProDEVS : An Event-driven Modeling and Simulation Tool for Hybrid Systems Using State Diagrams, Acte de la 8th International Conference on Simulation Tools and Techniques (SIMUTOOL), Athènes, Grèce, pp.29-37, 2015.

A. Yacoub, M. Hamri, C. Frydman, C. Seo, and B. P. Zeigler, Towards an Extension of PROMELA for the Modeling, Simulation and Verification of DiscreteEvent Systems, Acte du 27th European Modelling and Simulation Symposium (EMSS), pp.340-348, 2015.

B. P. Zeigler, H. Praehofer, and T. G. Kim, Theory of Modeling and Simulation, 2000.

B. Berthomieu, F. Peres, and F. Vernadat, Modelchecking Bounded Prioriterized Time Petri Nets, Actes du 5th Automated Technology for Verification and Analysis Symposium (ATVA), 2007.

F. Madlener, A Model of Computation for Reconfigurable Systems, 2013.

E. Posse, Modelling and simulation of dynamic structure discrete-event systems, 2008.