Abstraction Refinement for Large Scale Model Checking

Book by Chao Wang and Gary Deane Hachtel