@article{KNP05a,
author={M. Kwiatkowska and G. Norman and A. Pacheco},
title={Model Checking Expected Time and Expected Reward Formulae with Random Time Bounds},
journal={Computers \& Mathematics with Applications},
year={2006},

volume={51},
number={2},
pages={305-316 },
month={},
note={},
key={}
}