Ludwich, M., & 		Fröhlich, A.
2012 nov  5.  System-Level Verification of Embedded Operating Systems Components. Anais do Simpósio Brasileiro de Engenharia de Sistemas Computacionais (SBESC). [Online] :