D. Bjørner, Development of transportation systems, International Symposium On Leveraging Applications of Formal Methods, Verification and Validation (ISOLA), 2007.

J. R. Abrial, The B Book, 1996.
DOI : 10.1017/CBO9780511624162

T. Servat, BRAMA: A New Graphic Animation Tool for B Models In: B 2007: Formal Specification and Development in B, pp.274-276, 2006.

J. R. Abrial, Modeling in Event-B: System and Software Engineering, 2009.
DOI : 10.1017/CBO9781139195881

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

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, Transformation Heuristics for Formal Requirements Validation by Animation, 2nd International Workshop on the Certification of Safety- Critical Software Controlled Systems -SafeCert'09, 2009.
URL : https://hal.archives-ouvertes.fr/inria-00374082