Reis, Rodrigo, 		Reis, Carla, E 		Nunes, Daltro.
" APSEE-StaticPolicy: Verificação de Políticas Estáticas em Modelos de Processos de Software" <em>Anais do Simpósio Brasileiro de Engenharia de Software (SBES)</em> [Online], (3 outubro 2001)