Cardoso, F., 		Carvalho, S., 		Douradinho, D., 		Montini, D., 		Tasinaffo, P., & 		Cunha, A.
(2009).
Um Modelo de Controle Formal para o gerenciamento de riscos de processo em fábricas de software.
In <em>Anais Estendidos do IX Simpósio Brasileiro de Segurança da Informação e de Sistemas Computacionais</em>, (pp. 247-248). Porto Alegre: SBC.
doi:10.5753/sbseg_estendido.2009.20640