Cardoso, Felipe, Strauss Cunha Carvalho, Danilo Douradinho, Denis Ávila Montini, Paulo Marcelo Tasinaffo, and Adilson Marques da Cunha.
"Um Modelo de Controle Formal para o gerenciamento de riscos de processo em fábricas de software." <em>Anais Estendidos do IX Simpósio Brasileiro de Segurança da Informação e de Sistemas Computacionais,
Campinas/SP, 2009</em>. SBC, 2009,  
pp.247-248.