@Article{clarke07model,
  author =     "E.M. Clarke and F. Lerda",
  title =      {{Model Checking: Software and Beyond}},
  journal =    "Journal of Universal Computer Science",
  year =       "2007",
  volume =     "13",
  number =     "5",
  pages =      "639--649"
}