@Article{KNP09a,
author={M. Kwiatkowska and G. Norman and D. Parker},
title={PRISM: Probabilistic Model Checking for Performance and Reliability Analysis},
journal={ACM SIGMETRICS Performance Evaluation Review},
year={2009},

volume={36},
number={4},
pages={40-45},
_month={},
note={},
key={}
}