Ali Y. Duale M. Ümit Uyar Generation of Feasible Test Sequences for EFSM Models. 91- 2000 conf/pts/2000 TestCom db/conf/pts/testcom2000.html#DualeU00