S. Souza, J. Maldonado, and S. Fabbri.
" FCCE: Uma Família de Critérios de Teste para Validação de Sistemas Especificados em Estelle", in <em>Anais do XV Simpósio Brasileiro de Engenharia de Software</em>, Rio de Janeiro/RJ, 2001, pp. 256-271, doi: <a href="https://doi.org/10.5753/sbes.2001.23993">https://doi.org/10.5753/sbes.2001.23993</a>.