@article{1075279,
 article_number = {3},
 author = {Jiří Barnat and Ivana Černá and Jana Tůmová},
 issn = {1335-9150},
 journal = {Computing and Informatics},
 keywords = {Systems with degradation; Linear Temporal Logic; Quantitative model checking; Automata-based approach to verification; Timed automata},
 language = {eng},
 title = {Verification of Systems with Degradation},
 volume = {31},
 year = {2012}
}