@inproceedings{WCRE-2013-WalkinshawTD,
	author        = "Neil Walkinshaw and Ramsay Taylor and John Derrick",
	booktitle     = "{Proceedings of the 20th Working Conference on Reverse Engineering}",
	doi           = "10.1109/WCRE.2013.6671305",
	editor        = "Ralf Lämmel and Rocco Oliveto and Romain Robbes",
	pages         = "301--310",
	publisher     = "{IEEE}",
	title         = "{Inferring Extended Finite State Machine models from software executions}",
	year          = 2013,
}