Efficient detection of vacuity in temporal model checkingIlan BeerShoham Ben-Davidet al.2001Formal Methods in System Design