@InProceedings{KNP01, author={M. Kwiatkowska and G. Norman and D. Parker}, title={{PRISM}: Probabilistic Symbolic Model Checker}, booktitle={Proc. Tools Session of Aachen 2001 International Multiconference on Measurement, Modelling and Evaluation of Computer-Communication Systems}, year={2001}, editor={P. Kemper}, pages={7--12}, organization={}, publisher={}, address={}, month={September}, _note={Available as Technical Report 760/2001, University of Dortmund}, key={} }