MARTINS, L. E. G. From Textual to Formal Requirements: A Case Study Using Spectra in Safety-Critical Systems Domain. Journal of Software Engineering Research and Development, [S. l.], v. 12, n. 1, p. 16:1 – 16:12, 2024. DOI: 10.5753/jserd.2024.3745. Disponível em: https://journals-sol.sbc.org.br/index.php/jserd/article/view/3745. Acesso em: 21 nov. 2024.