Kropiwiec, Diogo, and Paulo Lício de Geus.
"Representando Aspectos de Sistemas Operacionais na Abordagem de Gerenciamento Baseado em Modelos." <em>Anais do VIII Simpósio Brasileiro de Segurança da Informação e de Sistemas Computacionais,
Gramado, 2008</em>. SBC, 2008,  
pp.143-156.