de Oliveira, Rafael, 		Santos, Gabriel, 		Farines, Jean-Marie, E 		Becker, Leandro.
" Ferramenta para Auxiliar o Processo de Verificação Formal de Propriedades em Programas AADL" <em>Anais do Simpósio Brasileiro de Engenharia de Sistemas Computacionais (SBESC)</em> [Online], (7 novembro 2011)