Y. Ben-maïssa, F. Kordon, S. Mouline, and Y. Thierry-mieg, Modeling and Analyzing Wireless Sensor Networks with VeriSensor: an Integrated Workflow. Transactions on Petri Nets and Other Models of Concurrency VIII, pp.24-47, 2013.

, Eclipse modeling framework

, Graphical modeling framework

P. Kruchten, The rational unified process: an introduction, 2004.

, Meta object facility (MOF) 2.5. OMG standard, 2015.

Y. Thierry-mieg, Symbolic model-checking using ITS-Tools, TACAS. Lecture Notes in Computer Science, vol.9035, pp.231-237, 2015.
URL : https://hal.archives-ouvertes.fr/hal-02104373

, Unified modeling language (UML) 1.1. OMG standard, 1997.

Y. Zhang, B. Bérard, L. M. Hillah, F. Kordon, and Y. Thierry-mieg, Controllability for Discrete Event Systems Modeled in VeriJ, International Journal of Critical Computer-Based Systems, vol.5, issue.3/4, pp.218-240, 2014.
URL : https://hal.archives-ouvertes.fr/hal-01176427