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