Cancian, Rafael, Marcelo Ricardo Stemmer, Alexandre Schulter, and Antônio Augusto Frölich. " Ferramenta de Suporte ao Projeto Automatizado de Sistemas Computacionais Embarcados." Anais do IV Workshop de Sistemas Operacionais, Rio de Janeiro/RJ, 2007. SBC, 2007, pp.805-815.