et. al., Bal Krishna Saraswat,. “Formal Development of a Fault Tolerant Distributed Checkpoint Process Using Event-B”. Turkish Journal of Computer and Mathematics Education (TURCOMAT) 12, no. 11 (May 10, 2021): 2748–2762. Accessed March 2, 2024. https://www.turcomat.org/index.php/turkbilmat/article/view/6299.