@InProceedings{KNP10b,
author={M. Kwiatkowska and G. Norman and D. Parker},
title={A Framework for Verification of Software with Time and Probabilities},
booktitle={Proc. 8th International Conference on Formal Modelling and Analysis of Timed Systems (FORMATS'10)},
year={2010},

editor={K. Chatterjee and T. Henzinger},
pages={25-45},
organization={},
publisher={Springer},
series={LNCS},
volume={6246},
address={},
month={},
note={},
key={}
}