Hana Chockler Orna Kupferman Moshe Y. Vardi Coverage metrics for temporal logic model checking<sup>*</sup>. 189-212 2006 28 Formal Methods in System Design 3 http://dx.doi.org/10.1007/s10703-006-0001-6 db/journals/fmsd/fmsd28.html#ChocklerKV06