Cardoso, Felipe, 		Carvalho, Strauss, 		Douradinho, Danilo, 		Montini, Denis, 		Tasinaffo, Paulo, E 		Cunha, Adilson.
" Um Modelo de Controle Formal para o gerenciamento de riscos de processo em fábricas de software" <em>Anais Estendidos do Simpósio Brasileiro de Segurança da Informação e de Sistemas Computacionais (SBSeg)</em> [Online], (28 setembro 2009)