“Formal Development of a Fault Tolerant Distributed Checkpoint Process Using Event-B”, TURCOMAT, vol. 12, no. 11, pp. 2748–2762, May 2021, doi: 10.17762/turcomat.v12i11.6299.