Abdelwahab Hamou-Lhadj Edna Braun Daniel Amyot Timothy Lethbridge Recovering Behavioral Design Models from Execution Traces. 112-121 2005 conf/csmr/2005 CSMR http://doi.ieeecomputersociety.org/10.1109/CSMR.2005.46 db/conf/csmr/csmr2005.html#Hamou-LhadjBAL05