Barnat, J., Černá, I., & Tůmová, J. (2012). Verification of Systems with Degradation. Computing and Informatics, 31(3), 507–530. https://cai.type.sk/content/2012/3/verification-of-systems-with-degradation/