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