N. Amorim and G. Guedes.
"Aplicando Técnicas de V&amp;V na Fase de Projeto do Modelo em Cascata", in <em>Anais da I Escola Regional de Engenharia de Software</em>, Alegrete, 2017, pp. 129-136.