@InProceedings{CKKP05,
author={L. Cloth and J.-P. Katoen and M. Khattri and R. Pulungan},
title={Model checking {Markov} reward models with impulse rewards},
booktitle={Proc. International Conference on Dependable Systems and Networks (DSN'05)},
year={2005},

editor={},
pages={722--731},
organization={},
publisher={IEEE Computer Society Press},
series={},
volume={},
address={},
month={},
note={},
key={}
}