Uber, Flavio, and Eliane Martins.
"Estratégia para teste de Máquinas Finitas de Estados Estendidas." <em>Anais do II Workshop de Testes e Tolerância a Falhas,
Curitiba/PR, 2000</em>. SBC, 2000,  
pp.46-51.