J. Barnat, I. Černá, and J. Tůmová, “Verification of Systems with Degradation”, Comput. Inform., vol. 31, no. 3, p. 507–530, Aug. 2012.