R. Cancian, M. Stemmer, A. Schulter, and A. Frölich.
" Ferramenta de Suporte ao Projeto Automatizado de Sistemas Computacionais Embarcados", in <em>Anais do IV Workshop de Sistemas Operacionais</em>, Rio de Janeiro/RJ, 2007, pp. 805-815.