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