@InProceedings{Kuehne:MTV2008-88,
  author =       "Ulrich K{\"u}hne and Daniel Gro{\ss}e and Rolf
                 Drechsler",
  title =        "Property Analysis and Design Understanding in a
                 Quality-Driven Bounded Model Checking Flow",
  ee =           "http://doi.ieeecomputersociety.org/10.1109/MTV.2008.17",
  URL =          "http://www.informatik.uni-bremen.de/agra/doc/work/08MTV_property_analysis.pdf",
  pages =        "88--93",
  editor =       "Magdy S. Abadir and Li-C. Wang and Jayanta Bhadra",
  booktitle =    "Workshop on Microprocessor Test and Verification (MTV 2008)",
  year =         "2008",
  month =        dec,
  address =      "Austin, Texas, USA",
  publisher =    "IEEE",
}