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

J. Abrial and S. Hallerstede, Refinement, decomposition, and instantiation of discrete models: application to Event-B. Fundam, Inf, vol.77, pp.1-2, 2007.

A. Basu, S. Bensalem, M. Bozga, J. Combaz, M. Jaber et al., Rigorous Component-Based System Design Using the BIP Framework, IEEE Software, vol.28, issue.3, pp.41-48, 2011.
DOI : 10.1109/MS.2011.27
URL : https://hal.archives-ouvertes.fr/hal-00722395

D. Bert, S. Boulmé, M. Potet, A. Requet, and L. Voisin, Adaptable Translator of B Specifications to Embedded C Programs, FME 2003, pp.94-113, 2003.
DOI : 10.1007/978-3-540-45236-2_7

M. Butler, A CSP approach to action systems, 1992.

A. Edmunds and M. Butler, Tasking Event-B: An extension to Event-B for generating concurrent code. Event Dates, 2011.

A. Edmunds, M. J. Butler, I. Maamria, R. Silva, and C. Lovell, Event-B Code Generation: Type Extension with Theories, ABZ Proceedings, pp.365-368, 2012.
DOI : 10.1007/978-3-642-30885-7_33
URL : https://eprints.soton.ac.uk/336226/1/ABZ2012_short_v20120202.pdf

Y. Falcone, M. Jaber, T. Nguyen, M. Bozga, and S. Bensalem, Runtime verification of component-based systems in the BIP framework with formally-proved sound and complete instrumentation, Software & Systems Modeling, vol.40, issue.1, pp.173-199, 2015.
DOI : 10.1109/SEFM.2009.13
URL : https://hal.archives-ouvertes.fr/hal-01248420

A. Fürst, T. S. Hoang, D. Basin, K. Desai, N. Sato et al., Code Generation for Event-B, IFM 2014, pp.323-338, 2014.
DOI : 10.1007/978-3-319-10181-1_20

A. Fürst, T. S. Hoang, D. Basin, N. Sato, and K. Miyazaki, Formal System Modelling Using Abstract Data Types in Event-B, ABZ 2014, pp.222-237, 2014.
DOI : 10.1007/978-3-662-43652-3_20

M. Jaber, Centralized and Distributed Implementations of Correct-byconstruction Component-based Systems by using Source-to-source Transformations in BIP. Theses, 2010.

T. Nipkow, Verifying a Hotel Key Card System, ICTAC 2006, pp.1-14, 2006.
DOI : 10.1007/11921240_1

S. Fathabadi, A. Butler, M. Rezazadeh, and A. , A Systematic Approach to Atomicity Decomposition in Event-B, SEFM 2012, pp.78-93, 2012.
DOI : 10.1007/978-3-642-33826-7_6

R. Silva and M. Butler, Supporting Reuse of Event-B Developments through Generic Instantiation, ICFEM 2009, pp.466-484, 2009.
DOI : 10.1007/978-3-642-10373-5_24

R. Silva and M. Butler, Shared Event Composition/Decomposition in Event-B, Formal Methods for Components and Objects, pp.122-141, 2011.
DOI : 10.1007/978-3-642-11811-1_24

R. Silva, C. Pascal, T. S. Hoang, and M. Butler, Decomposition tool for event-B, Software: Practice and Experience, vol.25, issue.2, pp.199-208, 2011.
DOI : 10.1109/32.761449
URL : http://eprints.ecs.soton.ac.uk/18427/1/decomposition_tool.pdf

N. K. Singh, EB2ALL: An Automatic Code Generation Tool, ) Using Event-B for Critical Device Software Systems, pp.105-141, 2013.
DOI : 10.1007/978-1-4471-5260-6_7