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), 16:1 – 16:12. https://doi.org/10.5753/jserd.2024.3745