Theta: A framework for abstraction refinement-based model checking | IEEE Conference Publication | IEEE Xplore