de Oliveira, R., 		Santos, G., 		Farines, J., & 		Becker, L.
2011 nov  7.  Ferramenta para Auxiliar o Processo de Verificação Formal de Propriedades em Programas AADL. Anais do Simpósio Brasileiro de Engenharia de Sistemas Computacionais (SBESC). [Online] :