et. al. BKS. Formal Development of a Fault Tolerant Distributed Checkpoint Process Using Event-B. TURCOMAT [Internet]. 2021May10 [cited 2024Dec.26];12(11):2748-62. Available from: https://turcomat.org/index.php/turkbilmat/article/view/6299