Reis, Rodrigo, Carla Alessandra Lima Reis, and Daltro José Nunes.
" APSEE-StaticPolicy: Verificação de Políticas Estáticas em Modelos de Processos de Software." <em>Anais do XV Simpósio Brasileiro de Engenharia de Software,
Rio de Janeiro/RJ, 2001</em>. SBC, 2001,  
pp.52-67.