Abstraction Refinement for Large Scale Model Checking - Wang, Chao (Springer Science+Business Media, LLC, 2006)