Uber, F., & 		Martins, E.
2000 jul 15.  Estratégia para teste de Máquinas Finitas de Estados Estendidas. Anais do Workshop de Testes e Tolerância a Falhas (WTF). [Online] :