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

M. A. Aouadhi, B. Delahaye, and A. Lanoix, Moving from event-b to probabilistic event-b, Proceedings of the 32th Annual ACM Symposium on Applied Computing, 2017.
URL : https://hal.archives-ouvertes.fr/hal-01316610

P. Audebaud and C. Paulin-mohring, Proofs of randomized algorithms in Coq, Science of Computer Programming, vol.74, issue.8, pp.568-589, 2009.
DOI : 10.1016/j.scico.2007.09.002
URL : https://hal.archives-ouvertes.fr/inria-00431771

R. Back, Refinement calculus, part II: Parallel and reactive programs, Stepwise Refinement of Distributed Systems Models, Formalisms, Correctness, pp.67-93, 1990.
DOI : 10.1007/3-540-52559-9_61

R. J. Back and J. Wright, Refinement calculus, part I: Sequential nondeterministic programs, Stepwise refinement of distributed systems models, formalisms, correctness, pp.42-66, 1990.
DOI : 10.1007/3-540-52559-9_60

C. Baier and J. Katoen, Principles of model checking, 2008.

G. Barthe, C. Fournet, B. Grégoire, P. Strub, N. Swamy et al., Probabilistic relational verification for cryptographic implementations, Proceedings of the 41st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL '14, pp.193-205, 2014.
DOI : 10.1145/2535838.2535847
URL : https://hal.archives-ouvertes.fr/hal-00935743

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

A. Bianco and L. De-alfaro, Model checking of probabilistic and nondeterministic systems, International Conference on Foundations of Software Technology and Theoretical Computer Science, pp.499-513, 1995.

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

W. De-roever, K. Engelhardt, and K. Buth, Data refinement: model-oriented proof methods and their comparison, 1998.
DOI : 10.1017/CBO9780511663079

C. Dehnert, D. Gebler, M. Volpato, and D. N. Jansen, On Abstraction of Probabilistic Systems, pp.87-116, 2014.
DOI : 10.1007/978-3-642-40196-1_4

O. Goldreich, Probabilistic proof systems, Modern Cryptography, Probabilistic Proofs and Pseudorandomness, pp.39-72, 1999.

H. Haghighi and M. Afshar, A Z-Based Formalism to Specify Markov Chains, Computer Science and Engineering, vol.2, issue.3, pp.24-31, 2012.
DOI : 10.5923/j.computer.20120203.04

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

J. He, C. Hoare, and J. W. Sanders, Data refinement refined resume, ESOP 86, pp.187-196, 1986.
DOI : 10.1007/3-540-16442-1_14

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

J. Hurd, Formal verification of probabilistic algorithms, 2003.

J. Hurd, A. Mciver, and C. Morgan, Probabilistic Guarded Commands Mechanized in HOL, Electronic Notes in Theoretical Computer Science, vol.112, pp.95-111, 2005.
DOI : 10.1016/j.entcs.2004.01.021

B. Jonsson and K. G. Larsen, Specification and refinement of probabilistic processes, [1991] Proceedings Sixth Annual IEEE Symposium on Logic in Computer Science, pp.266-277, 1991.
DOI : 10.1109/LICS.1991.151651

J. Katoen, Abstraction of Probabilistic Systems, pp.1-3, 2007.
DOI : 10.1007/978-3-540-75454-1_1

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

A. Mciver and C. C. Morgan, Abstraction, refinement and proof for probabilistic systems, 2006.

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.

M. L. Puterman, Markov decision processes: discrete stochastic dynamic programming, 2014.
DOI : 10.1002/9780470316887

K. Sere and E. Troubitsyna, Probabilities in action systems, Proc. of the 8th Nordic Workshop on Programming Theory, pp.373-387, 1996.

M. Stoelinga, An introduction to probabilistic automata, Bulletin of the EATCS, vol.78, issue.2, pp.176-198, 2002.

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

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.