Souza, S., Maldonado, J., & Fabbri, S. (2001). FCCE: Uma Família de Critérios de Teste para Validação de Sistemas Especificados em Estelle. In Anais do XV Simpósio Brasileiro de Engenharia de Software, (pp. 256-271). Porto Alegre: SBC. doi:10.5753/sbes.2001.23993