Modeling in Event-B: System and Software Engineering, 2010. ,
DOI : 10.1017/CBO9781139195881
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
Refinement, decomposition, and instantiation of discrete models: Application to Event-B. Fundamenta Informaticae, pp.1-28, 2007. ,
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
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
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
Rodin User's Handbook: Covers Rodin V.2.8 ,
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
The heterogeneous tool set, Hets. In Tools and Algorithms for the Construction and Analysis of Systems, LNCS, vol.4424, pp.519-522, 2007. ,
Foundations of Algebraic Specification and Formal Software Development, 2012. ,
DOI : 10.1007/978-3-642-17336-3