Automated abstraction by incremental refinement in interpolant-based model checking | IEEE Conference Publication | IEEE Xplore