R. Reis, C. Reis, and D. Nunes.
" 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>, Rio de Janeiro/RJ, 2001, pp. 52-67, doi: <a href="https://doi.org/10.5753/sbes.2001.23980">https://doi.org/10.5753/sbes.2001.23980</a>.