Mateus Ludwich and Antônio Fröhlich. 2012.
 System-Level Verification of Embedded Operating Systems Components. In <em>Anais do II Simpósio Brasileiro de Engenharia de Sistemas Computacionais</em>, novembro 05, 2012, Natal/RN, Brasil. SBC, Porto Alegre, Brasil, 161-165.