et. al., B. K. S. . Formal Development of a Fault Tolerant Distributed Checkpoint Process Using Event-B. TURCOMAT 2021, 12, 2748-2762.