1. Graph transformation for specification and programming;Andries;Science of Computer programming,1999
2. Henshin: advanced concepts and tools for in-place emf model transformations. In International Conference on Model Driven Engineering Languages and Systems, 121-135;Arendt,2010
3. Arcade. plc: A verification platform for programmable logic controllers. In Automated Software Engineering (ASE), 2012 Proceedings of the 27th IEEE/ACM International Conference on, 338-341;Biallas,2012
4. Discrete, continuous, and hybrid Petri nets;David,2010
5. Di-Meglio, S. (2010). Sfcedit: Un éditeur de grafcet. http://stephane.dimeglio.free.fr/sfcedit/en.