Simulation-based abstractions for software product-line model checking | IEEE Conference Publication | IEEE Xplore