@InProceedings{KNP12b,
author={M. Kwiatkowska and G. Norman and D. Parker},
title={The {PRISM} Benchmark Suite},
booktitle={Proc. 9th International Conference on Quantitative Evaluation of SysTems (QEST'12)},
year={2012},

editor={},
pages={203--204},
organization={},
publisher={IEEE CS Press},
series={},
volume={},
address={},
_month={September},
note={},
key={}
}