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

R. Back and R. Kurki-suonio, Distributed cooperation with action systems, ACM Transactions on Programming Languages and Systems, vol.10, issue.4, pp.513-554, 1988.
DOI : 10.1145/48022.48023

R. Back and R. Kurki-suonio, Decentralization of process nets with centralized control, Distributed Computing, vol.2, issue.8, pp.73-87, 1989.
DOI : 10.1007/BF01558665

R. Back and K. Sere, Stepwise refinement of action systems, Structured Programming, pp.17-30, 1991.
DOI : 10.1007/3-540-51305-1_7

D. Bjorner and M. C. Henson, Logics of Specification Languages, EATCS Textbook in Computer Science, 2007.
DOI : 10.1007/978-3-540-74107-7

D. Cansell and D. Méry, Designing Old and New Distributed Algorithms by Replaying an Incremental Proof-Based Development, Rigorous Methods for Software Construction and Analysis, pp.17-32, 2009.
DOI : 10.1007/978-3-642-11447-2_2
URL : https://hal.archives-ouvertes.fr/inria-00174023

K. M. Chandy, B. Go, S. Mitra, and J. White, Towards verified distributed software through refinement of formal archetypes, IFIP Working Conference on Verified Software: Workshop on Experiments, 2008.

K. M. Chandy and L. Lamport, Distributed snapshots: determining global states of distributed systems, ACM Transactions on Computer Systems, vol.3, issue.1, pp.63-75, 1985.
DOI : 10.1145/214451.214456

K. M. Chandy and J. Misra, Parallel Program Design A Foundation, 1988.

]. K. Chaudhuri, D. Doligez, L. Lamport, and S. Merz, The TLA???+??? Proof System: Building a Heterogeneous Verification Platform, International Conference on Theoretical Aspects of Computing -ICTAC 2010, p.44, 2010.
DOI : 10.1007/978-3-642-14808-8_3
URL : https://hal.archives-ouvertes.fr/inria-00521886

E. M. Clarke, O. Grumberg, and D. Peled, Model Checking, 1999.

T. Lai and T. H. Yang, On distributed snapshots, Information Processing Letters, vol.25, issue.3, pp.153-158, 1987.
DOI : 10.1016/0020-0190(87)90125-6

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

G. T. Leavens, J. Abrial, D. S. Batory, M. J. Butler, A. Coglio et al., Roadmap for enhanced languages and methods to aid verification, Proceedings of the 5th international conference on Generative programming and component engineering , GPCE '06, pp.221-236, 2006.
DOI : 10.1145/1173706.1173740

B. L. Massingill and K. M. Chandy, Parallel program archetypes, Proceedings 13th International Parallel Processing Symposium and 10th Symposium on Parallel and Distributed Processing. IPPS/SPDP 1999, pp.1-9, 1997.
DOI : 10.1109/IPPS.1999.760490
URL : http://authors.library.caltech.edu/26807/2/postscript.pdf

K. Ogata and P. T. Huyen, Specification and Model Checking of the Chandy and Lamport Distributed Snapshot Algorithm in Rewriting Logic, 2012.
DOI : 10.1007/978-3-642-34281-3_9

S. Owre and N. Shankar, A Brief Overview of PVS, pp.22-27
DOI : 10.1007/3-540-45607-4_1

R. Project, Rigorous open development environment for complex systems, pp.2004-2010

G. Tel, Introduction to Distributed Algorithms, 1994.
DOI : 10.1017/CBO9781139168724

M. Wenzel, L. C. Paulson, and T. Nipkow, The Isabelle Framework, pp.33-38
DOI : 10.1007/978-3-540-74591-4_26

Z. Yang and T. A. Marsland, Global snapshots for distributed debugging: An overview, 1992.