The B-book: Assigning Programs to Meanings, 1996. ,
, Modeling in Event-B: System and Software Engineering, 2013.
Refinement calculus, part ii: Parallel and reactive programs, Proceedings on Stepwise Refinement of Distributed Systems: Models, Formalisms, Correctness, REX workshop, pp.67-93, 1990. ,
Prob: A model checker for b, FME 2003: Formal Methods, pp.855-874, 2003. ,
Prism: A tool for automatic verification of probabilistic systems, Tools and Algorithms for the Construction and Analysis of Systems, pp.441-444, 2006. ,
Formal derivation of a distributed program in Event-B, Formal Methods and Software Engineering, pp.420-436, 2011. ,
Qualitative probabilistic modelling in Event-B, Integrated Formal Methods, pp.293-312, 2007. ,
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
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
IronFleet: proving practical distributed systems correct, Proceedings of the 25th Symposium on Operating Systems Principles (SOSP '15), pp.1-17 ,