Cardoso, F., 		Carvalho, S., 		Douradinho, D., 		Montini, D., 		Tasinaffo, P., & 		Cunha, A.
2009 Sep 28.  Um Modelo de Controle Formal para o gerenciamento de riscos de processo em fábricas de software. Companion Proceedings of the Brazilian Symposium on Cybersecurity (SBSeg). [Online] :