Thread-Modular Abstraction Refinement (Lecture notes in computer science)