Cutigi, J., 		Ribeiro, P., 		Simão, A., & 		Souza, S.
(2010).
Redução do Número de Seqüências no Teste de Conformidade de Protocolos.
In <em>Anais do XI Workshop de Testes e Tolerância a Falhas</em>, (pp. 105-117). Porto Alegre: SBC.
doi:10.5753/wtf.2010.23099