Yavuz, 2017. Partial Predicate Abstraction and Counter-Example Guided Refinement.