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://testing.journalspress.uk/index.php/LJRCST/article/view/607. Acesso em: 4 feb. 2026.