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