B. Curtis, H. Krasner, and N. Iscoe, A field study of the software design process for large systems, Communications of the ACM, vol.31, issue.11, pp.1268-1287, 1988.
DOI : 10.1145/50087.50089

J. M. Neighbors, Software construction using components, 1980.

J. M. Debaud and S. Rugaber, A software re-engineering method using domain models, Proceedings of International Conference on Software Maintenance, 1995.
DOI : 10.1109/ICSM.1995.526542

G. Arango, A brief introduction to domain analysis, Proceedings of the 1994 ACM symposium on Applied computing , SAC '94, pp.42-46, 1994.
DOI : 10.1145/326619.326656

R. S. Pressman, Software Engineering: A Practitioner's Approach, 2005.

D. Bjørner, Development of transportation systems, International Symposium On Leveraging Applications of Formal Methods, Verification and Validation (ISOLA), 2007.

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

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

J. R. Abrial and S. Hallerstede, Refinement, decomposition, and instantiation of discrete models: Application to Event-B, Fundamenta Informaticae, vol.77, issue.12, pp.1-28, 2007.

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

A. Hitchcock, A Specification Of An Automated Freeway With Vehicle-Borne Intelligence, California Partners for Advanced Transit and Highways (PATH), 1992.

A. Hitchcock, Methods Of Analysis Of IVHS Safety, California Partners for Advanced Transit and Highways (PATH), 1992.

H. S. Tsao, R. W. Hall, and S. E. Shladover, Design options for operating automated highway systems, Proceedings of VNIS '93, Vehicle Navigation and Information Systems Conference, pp.494-500, 1993.
DOI : 10.1109/VNIS.1993.585680

G. Baille, P. Garnier, H. Mathieu, and P. G. Roger, Le cycab de l'INRIA rhônes-alpes, pp.INRIA ? Rhônes-Alpes, 1999.