Ludwich, Mateus, E 		Fröhlich, Antônio.
" System-Level Verification of Embedded Operating Systems Components" <em>Anais do Simpósio Brasileiro de Engenharia de Sistemas Computacionais (SBESC)</em> [Online], (5 novembro 2012)