The following publications are possibly variants of this publication:
- Control Dependence for Extended Finite State MachinesKelly Androutsopoulos, David Clark, Mark Harman, Zheng Li, Laurence Tratt. FASE 2009: 216-230 [doi]
- Estimating the feasibility of transition paths in extended finite state machinesKarnig Derderian, Robert M. Hierons, Mark Harman, Qiang Guo. ASE, 17(1):33-56, 2010. [doi]
- The Extended Finite State Machine and Fault Tolerant Mechanism in Distributed SystemsShengfa Gao, Xin Li, Ruihua Zhang. sera 2009: 33-38 [doi]
- Generating feasible input sequences for extended finite state machines (EFSMs) using genetic algorithmsKarnig Derderian, Robert M. Hierons, Mark Harman, Qiang Guo. gecco 2005: 1081-1082 [doi]