Uber, F., & 		Martins, E.
(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>, (pp. 46-51). Porto Alegre: SBC.
doi:10.5753/wtf.2000.23473