de Oliveira, Rafael, Gabriel Santos, Jean-Marie Farines, and Leandro Becker.
"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,
Florianópolis, 2011</em>. SBC, 2011,  
pp.27-32.