@inproceedings{androutsopoulos_clark_harman_li_tratt__control_dependence_for_extended_finite_state_machines,
  author = "Kelly Androutsopoulos and David Clark and Mark Harman and Zheng Li and Laurence Tratt",
  title = "Control dependence for extended finite state machines",
  booktitle = "Proc. Fundamental Approaches to Software Engineering (FASE)",
  month = Mar,
  year = "2009",
  pages = "216-230"
}