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

J. Abrial, M. Butler, S. Hallerstede, T. S. Hoang, F. Mehta et al., Rodin: an open toolset for modelling and reasoning in Event-B, International Journal on Software Tools for Technology Transfer, vol.15, issue.1, pp.447-466, 2010.
DOI : 10.1007/978-3-642-18216-7

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

A. Achouri, L. Jemni-ben, and . Ayed, UML activity diagram to event-B: A model transformation approach based on the institution theory, Proceedings of the 2014 IEEE 15th International Conference on Information Reuse and Integration (IEEE IRI 2014), pp.823-829, 2014.
DOI : 10.1109/IRI.2014.7051974

J. A. Goguen and R. M. Burstall, Institutions: abstract model theory for specification and programming, Journal of the ACM, vol.39, issue.1, pp.95-146, 1992.
DOI : 10.1145/147508.147524

A. Iliasov, E. Troubitsyna, L. Laibinis, A. Romanovsky, K. Varpaaniemi et al., Supporting Reuse in Event B Development: Modularisation Approach, Abstract State Machines, Alloy, B and Z, pp.174-188, 2010.
DOI : 10.1007/978-3-642-11811-1_14

M. Jastram and P. M. Butler, Rodin User's Handbook: Covers Rodin V.2.8

A. Knapp, T. Mossakowski, M. Roggenbach, and M. Glauer, An Institution for Simple UML State Machines, Fundamental Approaches to Software Engineering, pp.3-18, 2015.
DOI : 10.1007/978-3-662-46675-9_1

T. Mossakowski, C. Maeder, and K. Lüttich, The heterogeneous tool set, Hets. In Tools and Algorithms for the Construction and Analysis of Systems, LNCS, vol.4424, pp.519-522, 2007.

D. Sanella and A. Tarlecki, Foundations of Algebraic Specification and Formal Software Development, 2012.
DOI : 10.1007/978-3-642-17336-3