ET. AL., B. K. S. . Formal Development of a Fault Tolerant Distributed Checkpoint Process Using Event-B. Turkish Journal of Computer and Mathematics Education (TURCOMAT), [S. l.], v. 12, n. 11, p. 2748–2762, 2021. DOI: 10.17762/turcomat.v12i11.6299. Disponível em: https://www.turcomat.org/index.php/turkbilmat/article/view/6299. Acesso em: 2 mar. 2024.