CANCIAN, Rafael Luiz; STEMMER, Marcelo Ricardo; SCHULTER, Alexandre; FRÖLICH, Antônio Augusto. Ferramenta de Suporte ao Projeto Automatizado de Sistemas Computacionais Embarcados. In: WORKSHOP DE SISTEMAS OPERACIONAIS (WSO), 4. , 2007, Rio de Janeiro/RJ. Anais [...]. Porto Alegre: Sociedade Brasileira de Computação, 2007 . p. 805-815.