[1]
Barnat, J. et al. 2012. Verification of Systems with Degradation. COMPUTING AND INFORMATICS. 31, 3 (Aug. 2012), 507–530.