Hana Chockler Ofer Strichman Before and after vacuity. 37-58 2009 34 Formal Methods in System Design 1 http://dx.doi.org/10.1007/s10703-008-0060-y db/journals/fmsd/fmsd34.html#ChocklerS09