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

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

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

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

D. Bisztray, R. Heckel, and H. Ehrig, Verification of Architectural Refactorings by Rule Extraction, 11th International Conference on Fundamental Approaches to Software Engineering (FASE'08), 2008.
DOI : 10.1007/978-3-540-78743-3_26

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 In: 2nd ISOLA Workshop on Leveraging Applications of Formal Methods, Verification and Validation (ISOLA'07, 2007.

D. Bjørner, Domain Engineering, Research and Engineering. JAIST, 2009.
DOI : 10.1007/978-1-84882-736-3_1

M. Butler, A System-based Approach to the Formal Development of Embedded Controllers for a Railway. Design Automation for Embedded Systems, pp.355-366, 2002.

M. Butler, Decomposition Structures for Event-B, 7th International Conference on Integrated Formal Methods (IFM '09), 2009.
DOI : 10.1016/0167-6423(93)90021-G

D. Cansell, D. Mery, and J. Rehm, Time Constraint Patterns for Event B Development, 7th International Conference of B Users (B'07), 2006.
DOI : 10.1007/11955757_13

URL : https://hal.archives-ouvertes.fr/hal-00149163

. Clearsy, User Manual of Atelier B, version 4, 2009.

K. Czarnecki and U. W. Eisenecker, Generative Programming, 2000.
DOI : 10.1007/3-540-36208-8_2

URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=

F. Erasmy and E. Sekerinski, Raise, Formal Development of Reactive Systems, pp.277-293, 1995.
DOI : 10.1007/3-540-58867-1_60

D. Essamé, Handling Safety Critical Requirements in System Engineering Using the B Formal Method, 23rd International Conference on Computer Safety, Reliability, and Security, 2004.
DOI : 10.1007/978-3-540-30138-7_10

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.

J. Gørtz, Specifying safety and progress properties with RSL, 2nd International Symposium of Formal Methods Europe (FME'94), 1994.
DOI : 10.1007/3-540-58555-9_116

C. A. Hoare, Communicating Sequential Processes, 1985.

M. A. Jackson, System Development, 1983.
URL : https://hal.archives-ouvertes.fr/hal-01472305

T. Joochim, C. Snook, M. Poppleton, and A. Gravell, Timing Diagrams Requirements Modeling using Event-B Formal Methods, Software Engineering, 2010.
DOI : 10.2316/P.2010.677-028

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

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

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

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

A. Mashkoor and J. P. Jacquot, Transformational Heuristics for Animation -Towards Stepwise Validation of Specifications, 2010.

A. Mashkoor, J. P. 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.
URL : https://hal.archives-ouvertes.fr/inria-00374082

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

URL : https://hal.archives-ouvertes.fr/hal-00431272

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), B and Z (ABZ'08), 2008.
DOI : 10.1007/978-3-540-87603-8_27

URL : https://hal.archives-ouvertes.fr/hal-01224663

R. Milner, M. Tofte, R. Harper, and D. Macqueen, The Definition of Standard ML - Revised, 1997.

S. Owre, J. M. Rushby, and N. Shankar, PVS: A prototype verification system, 11th International Conference on Automated Deduction (CADE'92), 1992.
DOI : 10.1007/3-540-55602-8_217

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

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

S. Schneider, H. Treharne, and H. Wehrheim, A CSP Approach to Control in Event-B, 8th International Conference on Integrated Formal Methods (IFM'10), 2010.
DOI : 10.1007/3-540-45648-1_10

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

T. Servat, BRAMA: A New Graphic Animation Tool for B Models, 7th International Conference of B Users (B'07), 2006.
DOI : 10.1007/11955757_28

R. Silva, C. Pascal, T. Hoang, and M. Butler, Decomposition tool for event-B, Software: Practice and Experience, vol.25, issue.2, 2010.
DOI : 10.1002/spe.1002

C. Snook and M. Butler, UML-B, ACM Transactions on Software Engineering and Methodology, vol.15, issue.1, pp.92-122, 2006.
DOI : 10.1145/1125808.1125811

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

F. Yang and J. P. Jacquot, Scaling Up with Event-B: A Case Study, 3rd NASA Formal Methods Symposium (NFM'11), 2011.
DOI : 10.1023/A:1018977602872

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

P. Zave and M. Jackson, Four dark corners of requirements engineering, ACM Transactions on Software Engineering and Methodology, vol.6, issue.1, pp.1-30, 1997.
DOI : 10.1145/237432.237434