@inproceedings{KNP11, author={M. Kwiatkowska and G. Norman and D. Parker}, title={{PRISM} 4.0: Verification of Probabilistic Real-time Systems}, booktitle={Proc. 23rd International Conference on Computer Aided Verification (CAV'11)}, year={2011}, editor={G. Gopalakrishnan and S. Qadeer}, pages={585--591}, organization={}, publisher={Springer}, series={LNCS}, volume={6806}, address={}, month={}, note={}, key={} }