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

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

R. Back, Refinement calculus, part ii: Parallel and reactive programs, Proceedings on Stepwise Refinement of Distributed Systems: Models, Formalisms, Correctness, REX workshop, pp.67-93, 1990.

M. Leuschel and M. Butler, Prob: A model checker for b, FME 2003: Formal Methods, pp.855-874, 2003.

A. Hinton, M. Kwiatkowska, G. Norman, and D. Parker, Prism: A tool for automatic verification of probabilistic systems, Tools and Algorithms for the Construction and Analysis of Systems, pp.441-444, 2006.

A. Iliasov, L. Laibinis, E. Troubitsyna, and A. Romanovsky, Formal derivation of a distributed program in Event-B, Formal Methods and Software Engineering, pp.420-436, 2011.

S. Hallerstede and T. S. Hoang, Qualitative probabilistic modelling in Event-B, Integrated Formal Methods, pp.293-312, 2007.

B. Siala, T. Bhiri, J. Bodeveix, and M. Filali, An Event-B Development Process for the Distributed BIP Framework, 18th International Conference on Formal Engineering Methods (ICFEM 2016), 2016.
URL : https://hal.archives-ouvertes.fr/hal-01709119

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, pp.41-48, 2011.
URL : https://hal.archives-ouvertes.fr/hal-00722395

C. Hawblitzel, J. Howell, M. Kapritsos, J. R. Lorch, B. Parno et al., IronFleet: proving practical distributed systems correct, Proceedings of the 25th Symposium on Operating Systems Principles (SOSP '15), pp.1-17