K. Altisen, P. Corbineau, and S. Devismes, A framework for certified selfstabilization, Logical Methods in Computer Science, vol.13, issue.4, 2017.
URL : https://hal.archives-ouvertes.fr/hal-01272158

K. Altisen, S. Devismes, S. Dubois, and F. Petit, Introduction to Distributed Self-Stabilizing Algorithms, Synthesis Lectures on Distributed Computing Theory, vol.8, 2019.
URL : https://hal.archives-ouvertes.fr/hal-02178659

A. Arora, S. Dolev, and M. G. Gouda, Maintaining digital clocks in step, Parallel Processing Letters, vol.1, pp.11-18, 1991.

Y. Bertot and P. Castéran, Interactive Theorem Proving and Program Development -Coq'Art: The Calculus of Inductive Constructions, Texts in Theoretical Computer Science. An EATCS Series, 2004.
URL : https://hal.archives-ouvertes.fr/hal-00344237

A. Champion, A. Mebsout, C. Sticksel, and C. Tinelli, The kind 2 model checker, Computer Aided Verification, pp.510-517, 2016.

Z. Collin and S. Dolev, Self-stabilizing depth-first search, Inf. Process. Lett, vol.49, issue.6, pp.297-301, 1994.

J. Couvreur, N. Francez, and M. G. Gouda, Asynchronous unison (extended abstract), Proceedings of the 12th International Conference on Distributed Computing Systems, pp.486-493, 1992.

W. Edsger and . Dijkstra, Self-stabilizing Systems in Spite of Distributed Control, Communications of the ACM, vol.17, issue.11, pp.643-644, 1974.

S. Dolev, Self-Stabilization, 2000.
URL : https://hal.archives-ouvertes.fr/inria-00627780

P. Erdös and A. Rényi, On random graphs I, Publicationes Mathematicae Debrecen, vol.6, p.290, 1959.

M. Flatebo and A. Datta, Simulation of self-stabilizing algorithms in distributed systems, Proceedings of the 25th Annual Simulation Symposium, pp.32-41, 1992.

R. Emden, S. C. Gansner, and . North, An open graph visualization system and its applications to software engineering, Softw. Pract. Exper, vol.30, issue.11, pp.1203-1233, 2000.

M. Gradinariu and S. Tixeuil, Self-stabilizing vertex coloration and arbitrary graphs, Procedings of the 4th International Conference on Principles of Distributed Systems (OPODIS), Studia Informatica Universalis, pp.55-70, 2000.

N. Halbwachs, P. Caspi, P. Raymond, and D. Pilaud, The synchronous data flow programming language Lustre, Proceedings of the IEEE, vol.79, issue.9, pp.1305-1320, 1991.

O. Har-tal, A simulator for self-stabilizing distributed algorithms, 2000.

E. Jahier, Verimag Tools Tutorials: Tutorials related to SASA

E. Jahier, RDBG: a Reactive Programs Extensible Debugger, International Workshop on Software and Compilers for Embedded Systems, 2016.
URL : https://hal.archives-ouvertes.fr/hal-01295229

E. Jahier, N. Halbwachs, and P. Raymond, Engineering functional requirements of reactive systems using synchronous languages, International Symposium on Industrial Embedded Systems, 2013.
URL : https://hal.archives-ouvertes.fr/hal-00933179

E. Jahier and P. Raymond, The synchrone reactive tool box

L. Lamport, Specifying Systems: The TLA+ Language and Tools for Hardware and Software Engineers, 2002.

N. Müllner, A. Dhama, and O. E. Theel, Derivation of fault tolerance measures of self-stabilizing algorithms by simulation, Proceedings of the 41st Annual Simulation Symposium, pp.183-192, 2008.

C. Ratel, N. , and P. Raymond, Programming and verifying critical systems by means of the synchronous data-flow programming language Lustre, ACM-SIGSOFT'91 Conference on Software for Critical Systems, 1991.

P. Raymond, Y. Roux, and E. Jahier, Lutin: a language for specifying and executing reactive scenarios, EURASIP Journal on Embedded Systems, 2008.

S. Kishor and . Trivedi, Probability and Statistics with Reliability, Queuing and Computer Science Applications, Second Edition, 2002.