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

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, volume 2805 of LNCS, pp.94-113, 2003.
DOI : 10.1007/978-3-540-45236-2_7

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

R. Silva and M. Butler, Shared event composition/decomposition in Event-B. In FMCO Formal Methods for Components and Objects, Event Dates, p.29, 2010.
DOI : 10.1007/978-3-642-25271-6_7

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