Prado, Denise, 		Bettin, Aletéia, 		Tobar, Carlos Miguel, E 		Pagano, Vinicius.
" A Ferramenta de Análise Estática Klocwork Integrada a um Processo Formal de Revisão de Código, nível 3 do CMMI" <em>Anais do Simpósio Brasileiro de Qualidade de Software (SBQS)</em> [Online], (1 junho 2009)