Kropiwiec, Diogo, AND 		Geus, Paulo.
" Representando Aspectos de Sistemas Operacionais na Abordagem de Gerenciamento Baseado em Modelos" <em>Proceedings of the Brazilian Symposium on Cybersecurity (SBSeg)</em> [Online], (1 September 2008)