área de pesquisa Diogo Branquinho Ramos Esqueletotipação : um método para desenvolvimento de software embarcado baseado em modelos. GPCAA - Grupo de Pesquisa em Computação Aplicada à Automação