Model checking Markov reward models with impulse rewards | IEEE Conference Publication | IEEE Xplore