Souza, S., 		Maldonado, J., & 		Fabbri, S.
2001 Oct  3.  FCCE: Uma Família de Critérios de Teste para Validação de Sistemas Especificados em Estelle. Proceedings of the Brazilian Symposium on Software Engineering (SBES). [Online] :