Glenn Ammons David Mandelin Rastislav Bodík James R. Larus Debugging temporal specifications with concept analysis. 182-195 2003 conf/pldi/2003 PLDI http://doi.acm.org/10.1145/781131.781152 db/conf/pldi/pldi2003.html#AmmonsMBL03