Markus Dahlweid Michal Moskal Thomas Santen Stephan Tobies Wolfram Schulte VCC: Contract-based modular verification of concurrent C. 429-430 2009 ICSE Companion http://dx.doi.org/10.1109/ICSE-COMPANION.2009.5071046 conf/icse/2009c db/conf/icse/icse2009c.html#DahlweidMSTS09