J. R. Abrial, 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.

J. R. Abrial, The B-Book: Assigning Programs to Meanings, 2005.
DOI : 10.1017/CBO9780511624162

R. J. Back, L. Petre, and I. Porres, 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=

C. Baier and J. P. Katoen, Principles of Model Checking, 2008.

D. Craigen, S. Gerhart, and T. , Ralson: Case study: Paris metro signaling system, pp.32-35, 1994.

E. Deploy, Online at http://www.deploy-project

S. Hallerstede and T. S. Hoang, Qualitative Probabilistic Modelling in Event-B, IFM 2007, LNCS 4591, pp.293-312, 2007.
DOI : 10.1007/978-3-540-73210-5_16

H. Hansson, Time and Probability in Formal Design of Distributed Systems, 1995.

M. Kwiatkowska, Quantitative verification: models techniques and tools, pp.449-458, 2007.
DOI : 10.1145/1287624.1287688

M. Kwiatkowska, G. Norman, and D. Parker, 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=

K. G. Larsen and A. Skou, 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

A. K. Mciver and C. C. Morgan, Abstraction, Refinement and Proof for Probabilistic Systems, 2005.

A. K. Mciver, C. C. Morgan, and E. Troubitsyna, The probabilistic steam boiler: a case study in probabilistic data refinement, Proc. International Refinement Workshop, 1998.

L. Meinicke and G. Smith, 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

M. Markov, Reward Model Checker: Online at http://www.mrmc-tool

O. Connor and P. D. , 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.

R. Segala and N. Lynch, Probabilistic simulations for probabilistic processes, In: Nordic Journal of Computing, vol.2, issue.2, pp.250-273, 1995.

N. Storey, Safety-Critical Computer Systems, 1996.

A. Villemeur, Reliability, Availability, Maintainability and Safety Assessment, 1995.