B. W. Boehm, Software Engineering Economics, 1981.

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

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.

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.

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

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

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. Abrial, Modeling in Event-B: System and Software Engineering, 2010.
DOI : 10.1017/CBO9781139195881

A. Mashkoor, Formal Domain Engineering: From Specification to Validation, 2011.
URL : https://hal.archives-ouvertes.fr/tel-00614269

A. Mashkoor and J. Jacquot, Domain Engineering with Event-B: Some Lessons We Learned, 2010 18th IEEE International Requirements Engineering Conference, 2010.
DOI : 10.1109/RE.2010.37

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

A. Mashkoor and J. Jacquot, Utilizing Event-B for domain engineering: a critical analysis, Requirements Engineering, vol.6, issue.1, pp.191-207, 2011.
DOI : 10.1007/s00766-011-0120-5

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

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

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, Lecture Notes in Computer Science, vol.3, issue.2, pp.438-452, 2011.
DOI : 10.1023/A:1018977602872

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