Barnat, J. et al. 2012. Verification of Systems with Degradation. Computing and Informatics. 31, 3 (Aug. 2012), 507–530.