Souza, S., 		Maldonado, J., & 		Fabbri, S.
2001 out  3.  FCCE: Uma Família de Critérios de Teste para Validação de Sistemas Especificados em Estelle. Anais do Simpósio Brasileiro de Engenharia de Software (SBES). [Online] :