et. al., B. K. S. . “Formal Development of a Fault Tolerant Distributed Checkpoint Process Using Event-B”. Turkish Journal of Computer and Mathematics Education (TURCOMAT), vol. 12, no. 11, May 2021, pp. 2748-62, doi:10.17762/turcomat.v12i11.6299.