Uber, F., & 		Martins, E.
(2000).
 Estratégia para teste de Máquinas Finitas de Estados Estendidas.
In <em>Proceedings of the 2nd Workshop on Testing and Fault Tolerance</em>, (pp. 46-51). Porto Alegre: SBC.
doi:10.5753/wtf.2000.23473