Software Engineering Economics, 1981. ,
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
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
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. ,
Goal-Oriented Requirements Animation, RE '04: Proceedings of the Requirements Engineering Conference, 12th IEEE International, pp.218-228, 2004. ,
A Survey of Simulation Tools for Requirements Engineering, 2000. ,
Towards quality requirements via animated formal specifications, Annals of Software Engineering, vol.3, pp.131-155, 1997. ,
DOI : 10.1023/A:1018977602872
BRAMA: A New Graphic Animation Tool for B Models, " in B 2007: Formal Specification and Development in B, pp.274-276, 2006. ,
Modeling in Event-B: System and Software Engineering, 2010. ,
DOI : 10.1017/CBO9781139195881
Formal Domain Engineering: From Specification to Validation, 2011. ,
URL : https://hal.archives-ouvertes.fr/tel-00614269
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
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
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
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
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
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