Felipe Cardoso, Strauss Carvalho, Danilo Douradinho, Denis Montini, Paulo Tasinaffo, and Adilson Cunha. 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>, September 28, 2009, Campinas/SP, Brasil. SBC, Porto Alegre, Brasil, 247-248. DOI: <a href="https://doi.org/10.5753/sbseg_estendido.2009.20640">https://doi.org/10.5753/sbseg_estendido.2009.20640</a>.