sur 9
Abstraction Refinement for Large Scale Model Checking — Chao Wang, Gary D. Hachtel, Fabio Somenzi