Martins, Luiz Eduardo Galvão. 2024. “From Textual to Formal Requirements: A Case Study Using Spectra in Safety-Critical Systems Domain”. Journal of Software Engineering Research and Development 12 (1):16:1 - 16:12. https://doi.org/10.5753/jserd.2024.3745.