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

R. M. Balzer, N. M. Goldman, and D. S. Wile, Operational specification as the basis for rapid prototyping, ACM SIGSOFT Software Engineering Notes, vol.7, issue.5, pp.3-16, 1982.
DOI : 10.1145/1006258.1006261

N. E. Fuchs, Specifications are (preferably) executable, Software Engineering Journal, vol.7, issue.5, pp.323-334, 1992.
DOI : 10.1049/sej.1992.0033
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.46.1036

A. Mashkoor, J. Jacquot, and J. Souquières, Transformation Heuristics for Formal Requirements Validation by Animation, 2nd IW SaFeSert, 2009.
URL : https://hal.archives-ouvertes.fr/inria-00374082

P. Daviet and M. Parent, Longitudinal and lateral servoing of vehicles in a platoon, Proceedings of Conference on Intelligent Vehicles, pp.41-46, 1996.
DOI : 10.1109/IVS.1996.566349

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, 2008.
DOI : 10.1109/TASE.2008.39
URL : https://hal.archives-ouvertes.fr/hal-00260577

F. Yang and J. Jacquot, Scaling Up with Event-B: A Case Study, The 3rd NASA Formal Methods Symposium, pp.438-452, 2011.
DOI : 10.1023/A:1018977602872
URL : https://hal.archives-ouvertes.fr/inria-00604687

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

M. Leuschel, J. Falampin, F. Fritz, and D. Plagge, Automated property verification for large scale B models with ProB, Formal Aspects of Computing, vol.17, issue.2, pp.1-27, 2011.
DOI : 10.1007/s00165-010-0172-1

A. Mashkoor and J. Jacquot, Stepwise Validation of Formal Specifications, 2011 18th Asia-Pacific Software Engineering Conference, 2011.
DOI : 10.1109/APSEC.2011.48
URL : https://hal.archives-ouvertes.fr/inria-00392939

S. Wright, Automatic Generation of C from Event- B, " in Workshop on Integration of Model-based Formal Methods and Tools, 2009.

D. Méry and N. Singh, Automatic code generation from event-B models, Proceedings of the Second Symposium on Information and Communication Technology, SoICT '11, 2011.
DOI : 10.1145/2069216.2069252

F. Yang and J. Jacquot, An Event-B Plug-in for Creating Deadlock-Freeness Theorems, The 14th Symposium on FM, 2011.
URL : https://hal.archives-ouvertes.fr/inria-00623825