@InProceedings{KNP02d,
author={M. Kwiatkowska and G. Norman and A. Pacheco},
title={Model Checking Expected Time and Expected Reward Formulae with Random Time Bounds},
booktitle={Proc. 2nd Euro-Japanese Workshop on Stochastic Risk Modelling for Finance, Insurance, Production and Reliability},
year={2002},

editor={},
pages={},
organization={},
publisher={},
series={},
volume={},
_month={September},
note={},
key={}
}