Reis, R., 		Reis, C., & 		Nunes, D.
(2001).
 APSEE-StaticPolicy: Verificação de Políticas Estáticas em Modelos de Processos de Software.
In <em>Anais do XV Simpósio Brasileiro de Engenharia de Software</em>, (pp. 52-67). Porto Alegre: SBC.
doi:10.5753/sbes.2001.23980