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>Proceedings of the 15th Brazilian Symposium on Software Engineering</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>.