Martins, L. E. G. “From Textual to Formal Requirements: A Case Study Using Spectra in Safety-Critical Systems Domain”. Journal of Software Engineering Research and Development, vol. 12, no. 1, Nov. 2024, pp. 16:1 - 16:12, doi:10.5753/jserd.2024.3745.