A. Agbaria and R. Friedman, Model-based performance evaluation of distributed checkpointing protocols. Performance Evaluation 65, 2008.

D. Aggarwal and A. Kiehn, Analyzing Mutable Checkpointing via Invariants (full version), 2015.

M. B. Andriamiarina, D. Mery, and N. K. Singh, Revisiting snapshot algorithms by refinement-based techniques, Computer Science and Information Systems, vol.11, 2014.
URL : https://hal.archives-ouvertes.fr/hal-00734131

¨. O. Babaoglu and K. Marzullo, Consistent global states of distributed systems: Fundamental concepts and mechanisms, Distributed Systems, 1993.

A. Boutellier, P. Lemarinier, G. Krawezik, and F. Cappello, Coordinated checkpoint versus message log for fault tolerant MPI, Proceedings IEEE International Conference on Cluster Computing CLUSTR-03, p.2012, 2013.
DOI : 10.1109/CLUSTR.2003.1253321

D. Cansell and D. M. Ery, The event-B Modelling Method: Concepts and Case Studies, Logics of Specification Languages, 2008.
DOI : 10.1007/978-3-540-74107-7_3
URL : https://hal.archives-ouvertes.fr/inria-00579550

G. Cao and M. Singhal, On coordinated checkpointing in distributed systems. Parallel and Distributed Systems, IEEE Transactions on, vol.9, issue.12, pp.1213-1225, 1998.

G. Cao and M. Singhal, Mutable checkpoints, Proceedings of the eighteenth annual ACM symposium on Principles of distributed computing , PODC '99, pp.157-172, 2001.
DOI : 10.1145/301308.301371

G. Cao and M. Singhal, Checkpointing with mutable checkpoints, Theoretical Computer Science, vol.290, issue.2, pp.1127-1148, 2003.
DOI : 10.1016/S0304-3975(02)00566-2
URL : http://doi.org/10.1016/s0304-3975(02)00566-2

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

J. Elliot, K. Kharbas, D. Fiala, F. Mueller, K. Ferreira et al., Combining Partial Redundancy and Checkpointing for HPC, 2012 IEEE 32nd International Conference on Distributed Computing Systems, 2012.
DOI : 10.1109/ICDCS.2012.56

Q. Jiang, Y. Luo, and D. , Manivannan An optimistic checkpointing and message logging approach for consistent global checkpoint collection in distributed systems, Journal of Parallel Distributed Computing, vol.68, 2008.

A. Kiehn, P. Raj, and P. Singh, A Causal Checkpointing Algorithm for Mobile Computing Environments, Distributed Computing and Networking (ICDCN 2014), pp.134-148, 2014.
DOI : 10.1007/978-3-642-45249-9_9

A. D. Kshemkalyani and M. Singhal, Distributed Computing: Principles, Algorithms , and Systems, 2008.
DOI : 10.1017/CBO9780511805318

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

I. Ljubuncic, R. Giri, A. Rozenfeld, and A. Goldis, Be Kind, Rewind: Checkpoint & Restore Capability for Improving Reliability of Large-Scale Semiconductor Design, 2014 International Conference on Intelligent Networking and Collaborative Systems, p.2014, 2014.
DOI : 10.1109/INCoS.2014.90