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.

M. Jackson, Problems and requirements [software development], Proceedings of 1995 IEEE International Symposium on Requirements Engineering (RE'95), pp.2-9, 1995.
DOI : 10.1109/ISRE.1995.512540

M. Jackson, Problem Frames : Analyzing and Structuring Software Development Problems, 2001.

D. Bjørner, Software Engineering 3 : Domains, Requirements, and Software Design (Texts in Theoretical Computer Science, an EATCS Series), 2006.

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

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

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

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

P. Behm, P. Benoit, and J. M. Meynadier, METEOR : A successful application of B in a large project In : Integrated Formal Methods, LNCS, vol.1708, pp.369-387, 1999.

F. Badeau and A. Amelot, Using B as a high level programming language in an industrial project : Roissy VAL. In : Formal Specification and Development in Z and B, LNCS, vol.3455, pp.334-354, 2005.

. Steria, Obligations de preuve : Manuel de référence, version 3.0. Steria ? Technologies de l'information, 1998.

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.

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

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

J. Rehm and D. Cansell, Proved development of the real-time properties of the IEEE 1394 Root Contention Protocol with the event-B method, International Journal on Software Tools for Technology Transfer, vol.187, issue.3, pp.179-190, 2007.
DOI : 10.1007/s10009-009-0130-5
URL : https://hal.archives-ouvertes.fr/hal-00184837

D. Cansell, D. Mery, and J. Rehm, Time Constraint Patterns for Event B Development, 7th International Conference of B Users, pp.140-154, 2007.
DOI : 10.1007/11955757_13
URL : https://hal.archives-ouvertes.fr/hal-00149163

A. V. Lamsweerde, From System Goals to Software Architecture, Formal Methods for Software Architectures, 2003.
DOI : 10.1007/978-3-540-39800-4_2

A. Matoussi, F. Gervais, and R. Laleau, A First Attempt to Express KAOS Refinement Patterns with Event B, Proc. of the Int. Conf. on ASM, B and Z (ABZ). Lecture Notes in Computer Science, pp.12-14, 2008.
DOI : 10.1007/978-3-540-87603-8_27
URL : https://hal.archives-ouvertes.fr/hal-01224663