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