Chao Wang Zijiang Yang Franjo Ivancic Aarti Gupta Whodunit? Causal Analysis for Counterexamples. 82-95 2006 conf/atva/2006 ATVA http://dx.doi.org/10.1007/11901914_9 db/conf/atva/atva2006.html#WangYIG06