@TechReport{MSR-TR-2010-9,
  author =       "Ernie Cohen and Micha{\l} Moskal and Wolfram Schulte and Stephan Tobies",
  title =        "Local Verification of Global Invariants in Concurrent Programs",
  institution =  "Microsoft Research",
  year =         "2010",
  number =       "MSR-TR-2010-9",
  month =        jan,
  ee =           "http://research.microsoft.com/apps/pubs/default.aspx?id=118664",
}