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