ANASURI, Sunil. Formal Verification of Autonomous System Software. International Journal of Emerging Research in Engineering and Technology, [S. l.], v. 3, n. 1, p. 95–104, 2022. DOI: 10.63282/3050-922X.IJERET-V3I1P110. Disponível em: https://ijeret.org/index.php/ijeret/article/view/266. Acesso em: 14 sep. 2025.