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