@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={} }