Reis, Rachel, Denise P. Prado, and Maria G. S. M. Fernandes. " Use of the Klocwork Static Analysis Tool at Motorola - Experience report." Proceedings of the 7th Brazilian Symposium on Software Quality, Florianópolis, 2008. SBC, 2008, pp.397-403.