Flavio Uber and Eliane Martins. 2000.
 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>, julho 15, 2000, Curitiba/PR, Brasil. SBC, Porto Alegre, Brasil, 46-51. DOI: <a href="https://doi.org/10.5753/wtf.2000.23473">https://doi.org/10.5753/wtf.2000.23473</a>.