Formal Veriftcation of Aircraft, Uboat and Electric Car Control Systems using SPARK ADA. London Journal of Research In Computer Science and Technology, [S. l.], v. 23, n. 4, p. 19–28, 2023. Disponível em: https://journalspress.uk/index.php/LJRCST/article/view/607. Acesso em: 2 feb. 2026.