Title: Abstraction Refinement for Large Scale Model Checking
Subjects: Systems engineering