Rafael Cancian, Marcelo Stemmer, Alexandre Schulter, and Antônio Frölich. 2007. Ferramenta de Suporte ao Projeto Automatizado de Sistemas Computacionais Embarcados. In Anais do IV Workshop de Sistemas Operacionais, junho 30, 2007, Rio de Janeiro/RJ, Brasil. SBC, Porto Alegre, Brasil, 805-815.