J. Abrial and S. Hallerstede, Refinement, Decomposition, and Instantiation of Discrete Models: Application to Event- B. Fundamenta Informaticae, pp.1-28, 2007.

F. Badeau and A. Amelot, Using B as a High Level Programming Language in an Industrial Project: Roissy VAL, Formal Specification and Development in Z and B, pp.334-354, 2005.
DOI : 10.1007/11415787_20

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

J. Bendisposto, M. Leuschel, O. Ligot, and M. Samia, La validation de mod??les Event-B avec le plug-in ProB pour RODIN, Techniques et sciences informatiques, vol.27, issue.8, pp.1065-1084, 2008.
DOI : 10.3166/tsi.27.1065-1084

]. S. Colin, A. Lanoix, O. Kouchnarenko, and J. Souquières, Towards Validating a Platoon of Cristal Vehicles using CSPB, 12th International Conference on Algebraic Methodology and Software Technology number 5140 in LNCS, pp.139-144, 2008.
URL : https://hal.archives-ouvertes.fr/hal-00261630

S. Colin, A. Lanoix, O. Kouchnarenko, and J. Souquières, Using CSPB Components: Application to a Platoon of Vehicles, 13th International ERCIM Wokshop on Formal Methods for Industrial Critical Systems, 2008.
URL : https://hal.archives-ouvertes.fr/hal-00286431

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

E. W. Dijkstra, A Discipline of Programming, 1976.

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

M. Leuschel, L. Adhianto, M. Butler, C. Ferreira, and L. Mikhailov, Animation and model checking of CSP and B using prolog technology, Proceedings of the ACM Sigplan Workshop on Verification and Computational Logic VCL'2001, pp.97-109, 2001.

M. Leuschel and M. Butler, ProB: A Model Checker for B, FME 2003: Formal Methods, LNCS 2805, pp.855-874, 2003.
DOI : 10.1007/978-3-540-45236-2_46

A. Mashkoor, J. 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'2009), p.19, 2009.

A. Mashkoor, J. 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, p.16, 2009.
URL : https://hal.archives-ouvertes.fr/inria-00374082

A. Scheuer, O. Simonin, and F. Charpillet, Safe longitudinal platoons of vehicles without communication, 2009 IEEE International Conference on Robotics and Automation, 2008.
DOI : 10.1109/ROBOT.2009.5152629

URL : https://hal.archives-ouvertes.fr/inria-00342719

R. Schmid, J. Ryser, S. Berner, M. Glinz, R. Reutemann et al., A survey of simulation tools for requirements engineering, 2000.

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

J. I. Siddiqi, I. C. Morrey, C. R. Roast, and M. B. Ozcan, Towards quality requirements via animated formal specifications, Annals of Software Engineering, vol.3, pp.131-155, 1997.
DOI : 10.1023/A:1018977602872

H. T. Van, A. Van-lamsweerde, P. Massonet, and C. Ponsard, Goal-oriented requirements animation, RE '04: Proceedings of the Requirements Engineering Conference, 12th IEEE International, pp.218-228, 2004.