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