Kropiwiec, Diogo, E 		Geus, Paulo.
" Representando Aspectos de Sistemas Operacionais na Abordagem de Gerenciamento Baseado em Modelos" <em>Anais do Simpósio Brasileiro de Segurança da Informação e de Sistemas Computacionais (SBSeg)</em> [Online], (1 setembro 2008)