J. Sifakis, A framework for component-based construction extended abstract, pp.293-300, 2005.
DOI : 10.1109/sefm.2005.3
URL : https://infoscience.epfl.ch/record/185051/files/SEFM05-sifakis.pdf

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

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

J. Abrial, Modeling in Event-B: System and Software Engineering, 2010.

, The B-book: Assigning Programs to Meanings, 1996.

R. Silva and M. Butler, Shared event composition/decomposition in Event-B, FMCO Formal Methods for Components and Objects, 2010.

M. B. Dwyer, G. S. Avrunin, and J. C. Corbett, Patterns in property specifications for finite-state verification, Proceedings of the ICSE' 99, pp.411-420, 1999.

B. Siala, M. T. Bhiri, J. Bodeveix, and M. Filali, An Event-B development process for the distributed BIP framework, Formal Methods and Software Engineering-18th International Conference on Formal Engineering Methods, ICFEM 2016, pp.313-328, 2016.
URL : https://hal.archives-ouvertes.fr/hal-01709119