Formal Methods for Verifying Safety-Critical Software Systems. International Journal of Advanced Research in Computer Science & Technology(IJARCST), [S. l.], v. 5, n. 5, p. 7105–7109, 2022. DOI: 10.15662/IJARCST.2022.0505002. Disponível em: https://www.ijarcst.org/index.php/ijarcst/article/view/22. Acesso em: 4 nov. 2025.