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