Uber, Flavio, and Eliane Martins.
" Estratégia para teste de Máquinas Finitas de Estados Estendidas." <em>Proceedings of the 2nd Workshop on Testing and Fault Tolerance,
Curitiba/PR, 2000</em>. SBC, 2000,  
pp.46-51.