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