F. Uber and E. Martins.
"Estratégia para teste de Máquinas Finitas de Estados Estendidas", in <em>Anais do II Workshop de Testes e Tolerância a Falhas</em>, Curitiba/PR, 2000, pp. 46-51, doi: <a href="https://doi.org/10.5753/wtf.2000.23473">https://doi.org/10.5753/wtf.2000.23473</a>.