Cancian, R., Stemmer, M., Schulter, A., & Frölich, A. 2007 jun 30. Ferramenta de Suporte ao Projeto Automatizado de Sistemas Computacionais Embarcados. Anais do Workshop de Sistemas Operacionais (WSO). [Online] :