@incollection{ckr2007,
  title = "Static Analysis to Enhance the Power of Model Checking for Concurrent Software",
  author = "Clarke, Edmund and Kroening, Daniel and Reps, Thomas",
  year = "2007",
  booktitle = "Department of Defense Sponsored Information Security Research",
  isbn = "0-471-78756-6",
  month = "July",
  pages = "349--360",
  publisher = "Wiley",
}