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>Companion Proceedings of the 9th Brazilian Symposium on Information and Computational Systems Security</em>, (pp. 247-248). Porto Alegre: SBC.
doi:10.5753/sbseg_estendido.2009.20640