Neil Walkinshaw Kirill Bogdanov Mike Holcombe Sarah Salahuddin Reverse Engineering State Machines by Interactive Grammar Inference. 209-218 2007 conf/wcre/2007 WCRE http://doi.ieeecomputersociety.org/10.1109/WCRE.2007.45 db/conf/wcre/wcre2007.html#WalkinshawBHS07