J. Cutigi, P. Ribeiro, A. Simão, and S. Souza. "Redução do Número de Seqüências no Teste de Conformidade de Protocolos", in Anais do XI Workshop de Testes e Tolerância a Falhas, Gramado/RS, 2010, pp. 105-117, doi: https://doi.org/10.5753/wtf.2010.23099.