KROPIWIEC, Diogo Ditzel; GEUS, Paulo Lício de. Representando Aspectos de Sistemas Operacionais na Abordagem de Gerenciamento Baseado em Modelos. In: SIMPÓSIO BRASILEIRO DE SEGURANÇA DA INFORMAÇÃO E DE SISTEMAS COMPUTACIONAIS (SBSEG), 8. , 2008, Gramado. Anais [...]. Porto Alegre: Sociedade Brasileira de Computação, 2008 . p. 143-156. DOI: https://doi.org/10.5753/sbseg.2008.20894.