@InProceedings{ESS08,
  author =       "Stefan Edelkamp and Peter Sanders and Pavel \v{S}ime\v{c}ek",
  title =        "{Semi-external LTL Model Checking}",
  booktitle =    "Computer Aided Verification",
  pages =        "530--542",
  year =         "2008",
  volume =       "5123",
  series =       "LNCS",
  publisher =    "Springer"
}