J. Abrial, Modeling in Event-B: System and Software Engineering, 2010.
DOI : 10.1017/CBO9781139195881

A. Van-lamsweerde, Requirements engineering, Proceedings of the 16th ACM SIGSOFT International Symposium on Foundations of software engineering, SIGSOFT '08/FSE-16, 2009.
DOI : 10.1145/1453101.1453133

A. Matoussi, F. Gervais, and R. Laleau, A First Attempt to Express KAOS Refinement Patterns with Event B, 1st International Conference on Abstract State Machines (ASM), Alloy, B and Z (ABZ'08), 2008.
DOI : 10.1007/978-3-540-87603-8_27
URL : https://hal.archives-ouvertes.fr/hal-01224663

B. Aziz, A. E. Arenas, J. Bicarregui, C. Ponsard, and P. Massonet, From Goal-Oriented Requirements to Event- B Specifications, First Nasa Formal Method Symposium (NFM'09), 2009.

A. Mashkoor and A. Matoussi, Towards Validation of Requirements Models, 2nd International Conference on Abstract State Machines (ASM), Alloy, B and Z (ABZ'10, 2010.
DOI : 10.1007/978-3-642-11811-1_38
URL : https://hal.archives-ouvertes.fr/hal-00431272

D. Bjørner, Development of Transportation Systems, 2nd International Symposium On Leveraging Applications of Formal Methods, Verification and Validation (ISOLA'07), 2007.

H. Van, C. George, T. Janowski, and R. Moore, Specification Case Studies in RAISE, 2002.

A. Papatsaras and B. Stoddart, Global and Communicating State Machine Models in Event Driven B: A Simple Railway Case Study, 2nd International Conference of Z and B Users (ZB'02, 2002.
DOI : 10.1007/3-540-45648-1_24

P. Behm, P. Benoit, and J. M. Meynadier, M??t??or: A Successful Application of B in a Large Project, 1st International Conference on Integrated Formal Methods (iFM'99, 1999.
DOI : 10.1007/3-540-48119-2_22

F. Badeau and A. Amelot, Using B as a High Level Programming Language in an Industrial Project: Roissy VAL, 4th International Conference of Z and B Users (ZB'05, 2005.
DOI : 10.1007/11415787_20

T. Lecomte, Deploy Deliverable D2, 2009.

M. Jastram, M. Leuschel, J. Bendisposto, and A. G. Jr, Mapping Requirements to B Models, 2009.

G. Baille, P. Garnier, H. Mathieu, and P. Roger, Le Cycab de l'INRIA Rhônes-Alpes, INRIA Rhônes-Alpes, 1999.

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

A. Mashkoor, J. Jacquot, and J. , Souquì eres, B ´ evénementiel pour la modélisation du domaine: application au transport, Approches Formelles dans l'Assistance au Développement de Logiciels (AFADL'09), 2009.

A. Gondal, M. Poppleton, and C. Snook, Feature Composition -Towards Product Lines of Event-B models, 1st International Workshop on Model-Driven Product Line Engineering, 2009.

M. Poppleton, The Composition of Event-B Models, 1st International Conference on Abstract State Machines (ASM), Alloy, B and Z (ABZ'08), 2008.
DOI : 10.1007/978-3-540-87603-8_17

C. A. Hoare, Communicating sequential processes, Communications of the ACM, vol.21, issue.8, pp.666-677, 1978.
DOI : 10.1145/359576.359585

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

D. Yadav and M. Butler, Verification of Liveness Properties in Distributed Systems, Second International Conference on Contemporary Computing (IC3'09), 2009.
DOI : 10.1007/11916246_18

A. Mashkoor, J. Jacquot, and J. , Souquì eres, Transformation Heuristics for Formal Requirements Validation by Animation, 2nd International Workshop on the Certification of Safety- Critical Software Controlled Systems (SafeCert'09), 2009.

A. Mashkoor and J. Jacquot, Incorporating Animation in Stepwise Development of Formal Specification, 2009.
URL : https://hal.archives-ouvertes.fr/inria-00392996

M. Leuschel and M. Butler, ProB: A Model Checker for B, 12th International FME Symposium (FM'03), 2003.
DOI : 10.1007/978-3-540-45236-2_46

N. Evans and H. E. Treharne, Linking Semantic Models to Support CSPB Consistency Checking, Fifth International Workshop on Automated Verification of Critical Systems (AV- OCS'05), 2005.

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