Ilan Beer Shoham Ben-David Cindy Eisner Yoav Rodeh Efficient Detection of Vacuity in Temporal Model Checking. 141-163 2001 18 Formal Methods in System Design 2 db/journals/fmsd/fmsd18.html#BeerBER01