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://turcomat.org/index.php/turkbilmat/article/view/6299. Acesso em: 29 apr. 2024.