Ludwich, M., & 		Fröhlich, A.
(2012).
 System-Level Verification of Embedded Operating Systems Components.
In <em>Anais do II Simpósio Brasileiro de Engenharia de Sistemas Computacionais</em>, (pp. 161-165). Porto Alegre: SBC.