Model Checking Markov Reward Models with Impulse Rewards. - Lucia Cloth; Joost-Pieter Katoen; Maneesh Khattri; Reza Pulungan (DSN, 2005)

A Markov Reward Model Checker. - Joost-Pieter Katoen; Maneesh Khattri; Ivan S. Zapreev (QEST, 2005)