J. Abrial, Modeling in Event-B: system and software engineering, 2010.
DOI : 10.1017/CBO9781139195881

J. Abrial, M. Butler, S. Hallerstede, T. S. Hoang, F. Mehta et al., Rodin: an open toolset for modelling and reasoning in event-b. International journal on software tools for technology transfer, pp.447-466, 2010.
DOI : 10.1007/s10009-010-0145-y

J. Abrial, D. Cansell, and D. Méry, A mechanically proved and incremental development of ieee 1394 tree identify protocol. Formal aspects of computing, pp.215-227, 2003.
URL : https://hal.archives-ouvertes.fr/inria-00099531

J. Abrial, D. Cansell, and D. Méry, Refinement and reachability in event-b, ZB 2005: Formal Specification and Development in Z and B, pp.222-241, 2005.
DOI : 10.1007/11415787_14

URL : https://hal.archives-ouvertes.fr/inria-00001245

M. A. Aouadhi, B. Delahaye, and A. Lanoix, Moving from Event-B to Probabilistic Event-B, 2016.
URL : https://hal.archives-ouvertes.fr/hal-01316610

D. Bert and F. Cave, Construction of Finite Labelled Transition Systems from B Abstract Systems, In Integrated Formal Methods LNCS, pp.235-254, 1945.
DOI : 10.1007/3-540-40911-4_14

M. Butler and I. Maamria, Practical Theory Extension in Event-B, Theories of Programming and Formal Methods, pp.67-81
DOI : 10.1007/978-3-540-87603-8_18

URL : https://eprints.soton.ac.uk/354288/1/paper_19-1.pdf

W. W. Chu and C. Sit, Estimating task response time with contentions for real-time distributed systems, Proceedings. Real-Time Systems Symposium, pp.272-281, 1988.
DOI : 10.1109/REAL.1988.51122

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

URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.88.818

T. Hoang and J. Abrial, Reasoning about Liveness Properties in Event-B, Formal Methods and Software Engineering, pp.456-471
DOI : 10.1016/0020-0190(81)90106-X

URL : http://e-collection.library.ethz.ch/eserv/eth:4493/eth-4493-01.pdf

T. S. Hoang, The development of a probabilistic B-method and a supporting toolkit, 2005.

T. S. Hoang, Reasoning about almost-certain convergence properties using Event-B, Science of Computer Programming, vol.81, pp.108-121, 2014.
DOI : 10.1016/j.scico.2013.08.006

T. S. Hoang, Z. Jin, K. Robinson, A. Mciver, and C. Morgan, Probabilistic Invariants for Probabilistic Machines, ZB 2003: Formal Specification and Development in Z and B, pp.240-259, 2003.
DOI : 10.1007/3-540-44880-2_16

URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.89.6084

T. S. Hoang, Z. Jin, K. Robinson, A. Mciver, and C. Morgan, Development via Refinement in Probabilistic B ??? Foundation and Case Study, International Conference of B and Z Users, pp.355-373, 2005.
DOI : 10.1007/11415787_21

URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.576.5140

R. Mayr, N. B. Henda, and P. A. Abdulla, Decisive markov chains, Logical Methods in Computer Science, vol.3, 2007.

A. Mciver, C. Morgan, and T. S. Hoang, Probabilistic Termination in B, International Conference of B and Z Users, pp.216-239, 2003.
DOI : 10.1007/3-540-44880-2_15

C. Morgan, T. S. Hoang, and J. Abrial, The Challenge of Probabilistic Event B???Extended Abstract???, ZB 2005: Formal Specification and Development in Z and B, pp.162-171, 2005.
DOI : 10.1007/11415787_10

C. Morgan and A. Mciver, Abstraction, refinement and proof for probabilistic systems, Monographs in Computer Science, 2005.

R. Motwani and P. Raghavan, Randomized algorithms, 2010.

A. Tarasyuk, E. Troubitsyna, and L. Laibinis, Reliability assessment in event-b development, NODES 09, issue.11, 2009.

A. Tarasyuk, E. Troubitsyna, and L. Laibinis, Towards Probabilistic Modelling in Event-B, Integrated Formal Methods, pp.275-289, 2010.
DOI : 10.1007/978-3-540-73210-5_23

URL : https://hal.archives-ouvertes.fr/inria-00524594

A. Tarasyuk, E. Troubitsyna, and L. Laibinis, Integrating stochastic reasoning into Event-B development, Formal Aspects of Computing, vol.6, issue.3, pp.53-77, 2015.
DOI : 10.1007/s00165-007-0048-1

K. S. Trivedi, S. Ramani, and R. Fricks, Recent advances in modeling response-time distributions in real-time systems, Proceedings of the IEEE, vol.91, issue.7, pp.1023-1037, 2003.
DOI : 10.1109/JPROC.2003.814619

URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.542.4118

A. Villemeur, Reliability, Availability, Maintainability and Safety Assessment, Assessment, Hardware, Software and Human Factors, 1992.

E. Yilmaz, Tool support for qualitative reasoning in Event-B, 2010.