Formal Development of a Fault Tolerant Distributed Checkpoint Process Using Event-B. TURCOMAT 2021, 12 (11), 2748-2762. https://doi.org/10.17762/turcomat.v12i11.6299.