de Oliveira, R., 		Santos, G., 		Farines, J., & 		Becker, L.
(2011).
Ferramenta para Auxiliar o Processo de Verificação Formal de Propriedades em Programas AADL.
In <em>Anais do Simpósio Brasileiro de Engenharia de Sistemas Computacionais</em>, (pp. 27-32). Porto Alegre: SBC.