Martins LEG. From Textual to Formal Requirements: A Case Study Using Spectra in Safety-Critical Systems Domain. JSERD [Internet]. 2024Nov.4 [cited 2024Nov.21];12(1):16:1 - 16:12. Available from: https://journals-sol.sbc.org.br/index.php/jserd/article/view/3745