Barnat, J., Černá, I. and Tůmová, J. 2012. Verification of Systems with Degradation. COMPUTING AND INFORMATICS. 31, 3 (Aug. 2012), 507–530.