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

J. Abrial, An Open Extensible Tool Environment for Event-B, Formal Methods and Software Engineering, p.588605, 2006.
DOI : 10.1007/11901433_32
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.104.290

F. Degerlund, R. Grönblom, and K. Sere, Code generation and scheduling of Event- B models, Turku Centre for Computer Science, 2011.

R. Grönblom, A framework for code generation and parallel execution of Event-B models. Master's thesis, 2009.

S. Hallerstede, On the purpose of Event-B proof obligations. Formal Aspects of Computing, p.133150, 2011.
URL : https://hal.archives-ouvertes.fr/hal-00554982

S. Wright, Using EventB to create a virtual machine instruction set architecture. Abstract State Machines, p.265279, 2008.
DOI : 10.1007/978-3-540-87603-8_21
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.153.610