Sagar Chaki, Joël Ouaknine, Karen Yorav, Edmund M. Clarke. Automated Compositional Abstraction Refinement for Concurrent C Programs: A Two-Level Approach. Electronic Notes in Theoretical Computer Science, 89(3):417-432, 2003. [doi]
Abstract is missing.