Viktorova, V.; Lubkov, N.; Stepanyants, A. A Unified Approach to Reliability, Availability, Performability Analysis Based on Markov Processes With Rewards. ASSA 2018, 18, 13-38.