Ernie Cohen Markus Dahlweid Mark A. Hillebrand Dirk Leinenbach Michal Moskal Thomas Santen Wolfram Schulte Stephan Tobies VCC: A Practical System for Verifying Concurrent C. 23-42 2009 TPHOLs http://dx.doi.org/10.1007/978-3-642-03359-9_2 conf/tphol/2009 db/conf/tphol/tphol2009.html#CohenDHLMSST09