@InProceedings{KNP02a,
author={M. Kwiatkowska and G. Norman and D. Parker},
title={{PRISM}: Probabilistic Symbolic Model Checker},
booktitle={Proc. 12th International Conference on Modelling Techniques and Tools for Computer Performance Evaluation (TOOLS'02)},
year={2002},

editor={T. Field and P. Harrison and J. Bradley and U. Harder},
pages={200--204},
organization={},
publisher={Springer},
series={LNCS},
volume={2324},
address={},
_month={April},
note={},
key={}
}