Amorim, Naihara, and Gileanes Guedes. "Aplicando Técnicas de V&V na Fase de Projeto do Modelo em Cascata." Anais da I Escola Regional de Engenharia de Software, Alegrete, 2017. SBC, 2017, pp.129-136.