Cardoso, F., 		Carvalho, S., 		Douradinho, D., 		Montini, D., 		Tasinaffo, P., & 		Cunha, A.
2009 set 28.  Um Modelo de Controle Formal para o gerenciamento de riscos de processo em fábricas de software. Anais Estendidos do Simpósio Brasileiro de Segurança da Informação e de Sistemas Computacionais (SBSeg). [Online] :