R. de Oliveira, G. Santos, J. Farines, and L. Becker.
" 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>, Florianópolis, 2011, pp. 27-32.