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>Anais Estendidos do IX Simpósio Brasileiro de Segurança da Informação e de Sistemas Computacionais</em>, setembro 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>.