Cancian, R., 		Stemmer, M., 		Schulter, A., & 		Frölich, A.
(2007).
 Ferramenta de Suporte ao Projeto Automatizado de Sistemas Computacionais Embarcados.
In <em>Anais do IV Workshop de Sistemas Operacionais</em>, (pp. 805-815). Porto Alegre: SBC.