Barnat, J.; Černá, I.; Tůmová, J. Verification of Systems With Degradation. Comput. Inform. 2012, 31, 507-530.