Martins, Luiz Eduardo Galvão. “From Textual to Formal Requirements: A Case Study Using Spectra in Safety-Critical Systems Domain”. Journal of Software Engineering Research and Development 12, no. 1 (November 4, 2024): 16:1 – 16:12. Accessed November 21, 2024. https://journals-sol.sbc.org.br/index.php/jserd/article/view/3745.