J. Abrial, The B-Book: Assigning programs to meanings, 2005.
DOI : 10.1017/CBO9780511624162

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.

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

J. Abrial and L. Mussat, Introducing dynamic constraints in B, B98: Recent Advances in the Development and Use of the B Method, pp.83-128, 1998.
DOI : 10.1007/BFb0053357

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, Mathematical extension in event-b through the rodin theory component, 2010.

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

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

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

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

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

T. S. Hoang, Z. Jin, K. Robinson, A. Mciver, and C. Morgan, ZB 2005: Formal Specification and Development in Z and B: 4th International Conference of B and Z Users, Proceedings, chapter Development via Refinement in Probabilistic B ? Foundation and Case Study, pp.355-373, 2005.

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

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

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-014-0305-z

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

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.