D. Prado, A. Bettin, C. Tobar, and V. Pagano. "A Ferramenta de Análise Estática Klocwork Integrada a um Processo Formal de Revisão de Código, nível 3 do CMMI", in Anais do VIII Simpósio Brasileiro de Qualidade de Software, Ouro Preto, 2009, pp. 341-348, doi: https://doi.org/10.5753/sbqs.2009.15525.