F. Arruda, F. Barros, and A. Sampaio.
" 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>, Recife/PE, 2025, pp. 101-118.