A. Mashkoor and J. P. Jacquot, Incorporating Animation in Stepwise Development of Formal Specification, 2009.
URL : https://hal.archives-ouvertes.fr/inria-00392996

A. Mashkoor, J. P. Jacquot, and J. Souquières, B événementiel pour la modélisation du domaine: application au transport, Approches Formelles dans l'Assistance au Développement de Logiciels (AFADL'09), pp.1-19, 2009.

A. Lanoix, Event-B Specification of a Situated Multi-Agent System: Study of a Platoon of Vehicles, 2008 2nd IFIP/IEEE International Symposium on Theoretical Aspects of Software Engineering, pp.297-304, 2008.
DOI : 10.1109/TASE.2008.39
URL : https://hal.archives-ouvertes.fr/hal-00260577