Reis, R., 		Reis, C., & 		Nunes, D.
2001 out  3.  APSEE-StaticPolicy: Verificação de Políticas Estáticas em Modelos de Processos de Software. Anais do Simpósio Brasileiro de Engenharia de Software (SBES). [Online] :