2021. Formal Development of a Fault Tolerant Distributed Checkpoint Process Using Event-B. Turkish Journal of Computer and Mathematics Education (TURCOMAT). 12, 11 (May 2021), 2748–2762. DOI:https://doi.org/10.17762/turcomat.v12i11.6299.