Martins, L.E.G. 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 (Nov. 2024), 16:1 – 16:12. DOI:https://doi.org/10.5753/jserd.2024.3745.