L. E. G. Martins, “From Textual to Formal Requirements: A Case Study Using Spectra in Safety-Critical Systems Domain”, JSERD, vol. 12, no. 1, pp. 16:1 – 16:12, Nov. 2024.