Uber, Flavio, E 		Martins, Eliane.
" Estratégia para teste de Máquinas Finitas de Estados Estendidas" <em>Anais do Workshop de Testes e Tolerância a Falhas (WTF)</em> [Online], (15 julho 2000)