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

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

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

W. W. Chu and C. M. Sit, Estimating task response time with contentions for real-time distributed systems, Real-Time Systems Symposium, pp.272-281, 1988.

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.

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

M. L. Puterman, Markov decision processes: discrete stochastic dynamic programming, 2014.

J. P. Katoen, Abstraction of probabilistic systems, Formal Modeling and Analysis of Timed Systems: 5th International Conference, 2007.

C. Dehnert, D. Gebler, M. Volpato, and D. N. Jansen, On abstraction of probabilistic systems, Stochastic Model Checking. Rigorous Dependability Analysis Using Model Checking Techniques for Stochastic Systems: International Autumn School, 2012.

B. Jonsson and K. G. Larsen, Specification and refinement of probabilistic processes, Logic in Computer Science, 1991. LICS'91, pp.266-277, 1991.

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.

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

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.

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

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

O. Goldreich, Probabilistic proof systems, Modern Cryptography, Probabilistic Proofs and Pseudorandomness, pp.39-72, 1999.
DOI : 10.1007/978-3-662-12521-2_2

G. Barthe, C. Fournet, B. Grégoire, P. Y. Strub, N. Swamy et al., Probabilistic relational verification for cryptographic implementations, In: ACM SIGPLAN Notices, vol.49, pp.193-205, 2014.
URL : https://hal.archives-ouvertes.fr/hal-00935743

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.

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

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

J. R. Abrial, Modeling in Event-B: system and software engineering, 2010.

J. R. 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, vol.12, issue.6, pp.447-466, 2010.

C. Morgan, T. S. Hoang, and J. R. Abrial, The challenge of probabilistic Event B-extended abstract, ZB 2005: Formal Specification and Development in Z and B, pp.162-171, 2005.

S. Hallerstede and T. S. Hoang, Qualitative probabilistic modelling in Event-B, Integrated Formal Methods, pp.293-312, 2007.

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

A. Tarasyuk, E. Troubitsyna, and L. Laibinis, Reliability assessment in Event-B development, NODES, vol.09, 2009.

A. Tarasyuk, E. Troubitsyna, and L. Laibinis, Integrating stochastic reasoning into Event-B development, Formal Aspects of Computing, vol.27, issue.1, pp.53-77, 2015.

A. Tarasyuk, E. Troubitsyna, and L. Laibinis, Towards probabilistic modelling in Event-B, Integrated Formal Methods, pp.275-289, 2010.
URL : https://hal.archives-ouvertes.fr/inria-00524594

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

M. A. Aouadhi, B. Delahaye, and A. Lanoix, Introducing probabilistic reasoning within EventB. Software & Systems Modeling, 2017.
URL : https://hal.archives-ouvertes.fr/hal-01610778

D. Gaiero and U. Zola, ICT Vs FCT Test : case studies, 2014.

, Electronics notes: PCP Inspection Techniques And Technologies

M. Butler and I. Maamria, Practical theory extension in Event-B, Theories of Programming and Formal Methods, vol.8051, pp.67-81, 2013.