Rafael de Oliveira, Gabriel Santos, Jean-Marie Farines, and Leandro Becker. 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>, November 07, 2011, Florianópolis, Brasil. SBC, Porto Alegre, Brasil, 27-32.