Neil Walkinshaw Kirill Bogdanov Mike Holcombe Identifying State Transitions and their Functions in Source Code. 49-58 2006 conf/taicpart/2006 TAIC PART http://doi.ieeecomputersociety.org/10.1109/TAIC-PART.2006.12 db/conf/taicpart/taicpart2006.html#WalkinshawBH06