D. Bjørner, Domain Engineering, BCS FACS Seminars, pp.1-42, 2008.
DOI : 10.1007/978-1-84882-736-3_1

A. Idani and Y. Ledru, Dynamic graphical UML views from formal B specifications, Information and Software Technology, vol.48, issue.3, pp.154-169, 2006.
DOI : 10.1016/j.infsof.2005.03.008

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

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

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

S. Schneider, H. Treharne, and H. Wehrheim, A CSP Approach to Control in Event-B, Integrated Formal Methods -IFM 2010 Integrated Formal Methods -8th International Conference, IFM 2010, ser. LNCS, pp.260-274, 2010.
DOI : 10.1007/3-540-45648-1_10
URL : https://hal.archives-ouvertes.fr/inria-00524603

M. Butler, Decomposition Structures for Event-B, Proceedings of the 7th International Conference on Integrated Formal Methods, ser. IFM '09, pp.20-38, 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, pp.140-154, 2007.
DOI : 10.1007/11955757_13
URL : https://hal.archives-ouvertes.fr/hal-00149163

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). Noida, pp.625-636, 2009.
DOI : 10.1007/11916246_18

A. Mashkoor and J. Jacquot, 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

M. Leuschel and M. Butler, ProB: A Model Checker for B, FME 2003: Formal Methods, ser. LNCS 2805, pp.855-874, 2003.
DOI : 10.1007/978-3-540-45236-2_46

A. Mashkoor, Formal Domain Engineering: From Specification to Validation, 2011.
URL : https://hal.archives-ouvertes.fr/tel-00614269

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

T. R. Group, The RAISE specification language, 1993.

A. Mashkoor and J. Jacquot, 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

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

M. Butler, A System-Based Approach to the Formal Development of Embedded Controllers for a Railway Handling Safety Critical Requirements in System Engineering Using the B Formal Method, Computer Safety, Reliability, and Security, ser. Lecture Notes in Computer Science, M. Heisel, P. Liggesmeyer, and S. Wittmann, pp.355-366, 2002.
DOI : 10.1023/A:1016503426126

R. Banach and M. Poppleton, Retrenchment: An engineering variation on refinement, Proceedings of the Second International B Conference on Recent Advances in the Development and Use of the B Method, pp.129-147, 1998.
DOI : 10.1007/BFb0053358

M. R. Poppleton, Towards Feature-Oriented Specification and Development with Event-B, " in Proceedings of the 13th international working conference on Requirements engineering: foundation for software quality, ser. REFSQ'07, pp.367-381, 2007.

J. 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. Gondal, M. Poppleton, and C. Snook, Feature Composition -Towards Product Lines of Event-B Models, 1st International Workshop on Model-Driven Product Line Engineering, pp.18-25, 2009.

R. Silva, C. Pascal, T. Hoang, and M. Butler, Decomposition tool for event-B, Workshop on Tool Building in Formal Methods, 2010.
DOI : 10.1002/spe.1002

J. W. Bryans, J. S. Fitzgerald, A. Romanovsky, and A. Roth, Patterns for Modelling Time and Consistency in Business Information Systems, 2010 15th IEEE International Conference on Engineering of Complex Computer Systems, pp.105-114, 2010.
DOI : 10.1109/ICECCS.2010.43

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

J. Abrial and L. Mussat, Introducing Dynamic Constraints in B, " in B '98: Proceedings of the Second International B Conference on Recent Advances in the Development and Use of the B Method, pp.83-128, 1998.

J. Groslambert, Verification of LTL on B Event Systems Formal Specification and Development in B, ser. Lecture Notes in Computer Science, pp.109-124, 2006.

J. Bicarregui, A. Arenas, B. Aziz, P. Massonet, and C. Ponsard, Towards Modelling Obligations in Event-B, Proceedings of the 1st international conference on Abstract State Machines, B and Z, ser. ABZ '08, pp.181-194, 2008.
DOI : 10.1007/978-3-540-87603-8_15

A. Mashkoor, J. Jacquot, and J. Souquières, 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