Abstraction Refinement for Large Scale Model Checking - Wang, Chao. (Series on Integrated Circuits and Systems, 2006)