Arruda, F., 		Barros, F., & 		Sampaio, A.
(2025).
 Deriving Sound Test Scripts from Requirements Written in a Controlled Natural Language.
In <em>Anais do XXVIII Simpósio Brasileiro de Métodos Formais</em>, (pp. 101-118). Porto Alegre: SBC.