@InProceedings{BCT09,
  author =       "J. Barnat and I. \v{C}ern\'{a} and J. T\r{u}mov\'{a}",
  title =        "{Quantitative Model Checking of Systems with Degradation}",
  booktitle =    "Proceeding of the Sixth International Conference on Quantitative Evaluation of Systems (QEST 2009)",
  pages =        "21--30",
  year =         "2009",
  publisher =    "IEEE"
}