Extending B without Changing it (for Developing Distributed Systems ), First Conference on the B method IRIN Institut de recherche en informatique de Nantes, pp.169-190, 1996. ,
The B-Book: Assigning Programs to Meanings, 2005. ,
DOI : 10.1017/CBO9780511624162
Generalizing Action Systems to Hybrid Systems, FTRTFT 2000, pp.202-213, 1926. ,
DOI : 10.1007/3-540-45352-0_17
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.35.3351
Principles of Model Checking, 2008. ,
Ralson: Case study: Paris metro signaling system, pp.32-35, 1994. ,
Online at http://www.deploy-project ,
Qualitative Probabilistic Modelling in Event-B, IFM 2007, LNCS 4591, pp.293-312, 2007. ,
DOI : 10.1007/978-3-540-73210-5_16
Time and Probability in Formal Design of Distributed Systems, 1995. ,
Quantitative verification: models techniques and tools, pp.449-458, 2007. ,
DOI : 10.1145/1287624.1287688
Controller dependability analysis by probabilistic model checking, Control Engineering Practice, vol.15, issue.11, pp.1427-1434, 2007. ,
DOI : 10.1016/j.conengprac.2006.07.003
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.641.5261
Bisimulation through probabilistic testing, Information and Computation 94, pp.1-28, 1991. ,
DOI : 10.1016/0890-5401(91)90030-6
URL : http://doi.org/10.1016/0890-5401(91)90030-6
Abstraction, Refinement and Proof for Probabilistic Systems, 2005. ,
The probabilistic steam boiler: a case study in probabilistic data refinement, Proc. International Refinement Workshop, 1998. ,
A Stepwise Development Process for Reasoning About the Reliability of Real-Time Systems, Integrated Formal Methods IFM2007, LNCS 4591, pp.439-456, 2007. ,
DOI : 10.1007/978-3-540-73210-5_23
Reward Model Checker: Online at http://www.mrmc-tool ,
Practical Reliability Engineering PRISM ? Probabilistic Symbolic Model Checker: Online at http://www.prismmodelchecker.org/ 19. Rigorous Open Development Environment for Complex Systems (RODIN): IST FP6 STREP project, Rigorous Open Development Environment for Complex Systems (RODIN): Deliverable D7, Event-B Language, 1995. ,
Probabilistic simulations for probabilistic processes, In: Nordic Journal of Computing, vol.2, issue.2, pp.250-273, 1995. ,
Safety-Critical Computer Systems, 1996. ,
Reliability, Availability, Maintainability and Safety Assessment, 1995. ,