J. Abrial, Modeling in Event-B: System and Software Engineering, 2010.
DOI : 10.1017/CBO9781139195881

J. 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.
DOI : 10.1007/s001650300002

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

B. Derbel, A brief introduction to visidia, 2007.

K. R. Duffy, N. O. Connell, and A. Sapozhnikov, Complexity analysis of a decentralised graph colouring algorithm, Information Processing Letters, vol.107, issue.2, pp.60-63, 2008.
DOI : 10.1016/j.ipl.2008.01.002

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

M. Kwiatkowska, G. Norman, and D. Parker, PRISM: Probabilistic Symbolic Model Checker, Proc. 12th International Conference on Modelling Techniques and Tools for Computer Performance Evaluation, pp.200-204, 2002.
DOI : 10.1007/3-540-46029-2_13

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

C. Morgan, A. Mciver, and K. Seidel, Probabilistic predicate transformers, ACM Transactions on Programming Languages and Systems, vol.18, issue.3, pp.325-353, 1996.
DOI : 10.1145/229542.229547

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

D. Méry, Refinement-based guidelines for constructing algorithms, Refinement Based Methods for the Construction of Dependable Systems, number 09381 in Dagstuhl Seminar Proceedings Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, 2010.

Y. Métivier, J. M. Robson, N. Saheb-djahromi, and A. Zemmari, An analysis of an optimal bit complexity randomised distributed vertex colouring algorithm (extended abstract), OPODIS, pp.359-364, 2009.

A. Sellami, Des calculs locaux aux algorithmes distribués, 2004.

M. Tounsi, A. Hadj-kacem, M. Mosbah, and D. Méry, A Refinement Approach for Proving Distributed Algorithms : Examples of Spanning Tree Problems, Integration of Model based Formal Methods and Tools, 2009.
URL : https://hal.archives-ouvertes.fr/hal-00361933