Uber, F., & 		Martins, E.
2000 Jul 15.  Estratégia para teste de Máquinas Finitas de Estados Estendidas. Proceedings of the Fault Tolerance Workshop (WTF). [Online] :