Cardoso, Felipe, 		Carvalho, Strauss, 		Douradinho, Danilo, 		Montini, Denis, 		Tasinaffo, Paulo, AND 		Cunha, Adilson.
" Um Modelo de Controle Formal para o gerenciamento de riscos de processo em fábricas de software" <em>Companion Proceedings of the Brazilian Symposium on Cybersecurity (SBSeg)</em> [Online], (28 September 2009)