V. Viktorova, N. Lubkov, and A. Stepanyants, “A Unified Approach to Reliability, Availability, Performability Analysis Based on Markov Processes with Rewards”, ASSA, vol. 18, no. 4, pp. 13-38, Dec. 2018.