Arruda, F., 		Barros, F., & 		Sampaio, A.
2025 dez  3.  Deriving Sound Test Scripts from Requirements Written in a Controlled Natural Language. Anais do Simpósio Brasileiro de Métodos Formais (SBMF). [Online] :