Telek, M., Pfening, A. and Fodor, G. 1998. Analysis of the completion time of Markov reward models and its application. Acta Cybernetica. 13, 4 (Jan. 1998), 439-452.