Reis, R., 		Reis, C., & 		Nunes, D.
2001 Oct  3.  APSEE-StaticPolicy: Verificação de Políticas Estáticas em Modelos de Processos de Software. Proceedings of the Brazilian Symposium on Software Engineering (SBES). [Online] :