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

J. R. 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

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

J. Bendisposto, F. Fritz, and M. Leuschel, Developing Camille, a text editor for Rodin, Proc. Workshop on Tool Building in Formal Methods. colocated with ABZ Conference ? Orford ? Canada, 2010.
DOI : 10.1002/spe.1016

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.

J. Ferber, Multi-Agent Systems: An Introduction to Distributed Artificial Intelligence, 1999.

J. Ferber and J. P. Muller, Influences and Reaction : a Model of Situated Multiagent Systems, 2nd Int. Conf. on Multi-agent Systems, pp.72-79, 1996.

L. Lamport, Proving the Correctness of Multiprocess Programs, IEEE Transactions on Software Engineering, vol.3, issue.2, pp.125-143, 1977.
DOI : 10.1109/TSE.1977.229904

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: an automated analysis toolset for the B method, International Journal on Software Tools for Technology Transfer, vol.49, issue.3, pp.185-203, 2008.
DOI : 10.1007/s10009-007-0063-9

A. Mashkoor and J. P. Jacquot, Domain Engineering with Event-B: Some Lessons We Learned, 2010 18th IEEE International Requirements Engineering Conference, pp.252-261, 2010.
DOI : 10.1109/RE.2010.37
URL : https://hal.archives-ouvertes.fr/inria-00431133

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

A. Mashkoor, J. P. Jacquot, and J. Souquières, Transformation Heuristics for Formal Requirements Validation by Animation In: 2nd International Workshop on the Certification of Safety-Critical Software Controlled Systems -SafeCert, 2009.

H. N. Nguyen and J. P. Jacquot, A Tool for Checking CSP||B Specifications, Proc. Workshop on Tool Building in Formal Methods. colocated with ABZ Conference ? Orford ? Canada, 2010.
URL : https://hal.archives-ouvertes.fr/inria-00463422

R. Schmid, J. Ryser, S. Berner, M. Glinz, R. Reutemann et al., A Survey of Simulation Tools for Requirements Engineering, 2000.

S. Schneider and H. Treharne, Communicating B Machines, pp.416-435, 2002.
DOI : 10.1007/3-540-45648-1_22
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.22.5500

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

O. Simonin, A. Lanoix, S. Colin, A. Scheuer, and F. Charpillet, Generic Expression in B of the Influence/Reaction Model: Specifying and Verifying Situated Multi-Agent Systems, INRIA Research Report, vol.6304, 2007.
URL : https://hal.archives-ouvertes.fr/inria-00173876

H. Treharne, Combining Control Executives and Software Specifications, 2000.

H. T. Van, A. Van-lamsweerde, P. Massonet, and C. Ponsard, Goal-Oriented Requirements Animation, Proceedings of the Requirements Engineering Conference, 12th IEEE International, pp.218-228, 2004.