Jiri Barnat, Ivana Cerná, Jana Tumova. Timed Automata Approach to Verification of Systems with Degradation. In Zdenek Kotásek, Jan Bouda, Ivana Cerná, Lukás Sekanina, Tomás Vojnar, David Antos, editors, Mathematical and Engineering Methods in Computer Science - 7th International Doctoral Workshop, MEMICS 2011, Lednice, Czech Republic, October 14-16, 2011, Revised Selected Papers. Volume 7119 of Lecture Notes in Computer Science, pages 84-93, Springer, 2011. [doi]
Abstract is missing.