F. Cardoso, S. Carvalho, D. Douradinho, D. Montini, P. Tasinaffo, and A. Cunha.
" 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>, Campinas/SP, 2009, pp. 247-248, doi: <a href="https://doi.org/10.5753/sbseg_estendido.2009.20640">https://doi.org/10.5753/sbseg_estendido.2009.20640</a>.