@inproceedings{BCT09,
 author = {Jiří Barnat and Ivana Černá and Jana Tůmová},
 booktitle = {Proceeding of the Sixth International Conference on Quantitative Evaluation of Systems (QEST 2009)},
 pages = {21--30},
 publisher = {IEEE},
 title = {{Quantitative Model Checking of Systems with Degradation}},
 year = {2009}
}