Görschwin Fey Stefan Staber Roderick Bloem Rolf Drechsler Automatic Fault Localization for Property Checking. 1138-1149 2008 27 IEEE Trans. on CAD of Integrated Circuits and Systems 6 http://dx.doi.org/10.1109/TCAD.2008.923234 db/journals/tcad/tcad27.html#FeySBD08