Androutsopoulos, K., Clark, D., Harman, M., Li, Z. and Tratt, L., 2009.
Control dependence for extended finite state machines.In: 12th International Conference, FASE 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, 22-29 March 2009, York, pp. 216-230.