Publication [HahnHWB15] Transient Reward Approximation for Continuous-Time Markov Chains Hahn, E. M.; Hermanns, H.; Wimmer, R. and Becker, B. In IEEE Trans. Reliab., 64: 1254-1275, 2015. doi.. Downloads: bibURL: https://doi.org/10.1109/TR.2015.2449292
