@TechReport{MSR-TR-2009-15,
  author =       "Ernie Cohen and Micha{\l} Moskal and Wolfram Schulte and Stephan Tobies",
  title =        "A Practical Verification Methodology for Concurrent Programs",
  institution =  "Microsoft Research",
  year =         "2009",
  number =       "MSR-TR-2009-15",
  month =        feb,
  ee =           "http://research.microsoft.com/apps/pubs/default.aspx?id=79554",
}