EEMCS

Cloth, L. and Katoen, J.P. and Khattri, M. and Pulungan, R. (2005) Model Checking Markov Reward Models with Impulse Rewards. In: Int. Conf. on Dependable Systems and Networks, 28 June - 01 July, Yokohama, Japan. pp. 722-731. IEEE Computer Society. ISBN 0 7695 2282 3

Katoen, J.P. and Khattri, M. and Zapreev, I.S. (2005) A Markov reward model checker. In: 2nd Int. Conf. on Quantitative Evaluation of Systems, Turin, Italy. pp. 243-245. IEEE Computer Society. ISBN 0 7695 2427 3