Abdul Salam Kalaji Robert M. Hierons Stephen Swift Generating Feasible Transition Paths for Testing from an Extended Finite State Machine (EFSM). 230-239 2009 ICST http://doi.ieeecomputersociety.org/10.1109/ICST.2009.29 conf/icst/2009 db/conf/icst/icst2009.html#KalajiHS09