Sagar Chaki Joël Ouaknine Karen Yorav Edmund M. Clarke Automated Compositional Abstraction Refinement for Concurrent C Programs: A Two-Level Approach. 2003 89 Electr. Notes Theor. Comput. Sci. 3 http://dx.doi.org/10.1016/S1571-0661(05)80004-0 db/journals/entcs/entcs89.html#ChakiOYC03 417-432