@Article{KNP05b,
author={M. Kwiatkowska and G. Norman and D. Parker},
title={Probabilistic model checking in practice: Case studies with {PRISM}},
journal={ACM SIGMETRICS Performance Evaluation Review},
year={2005},

volume={32},
number={4},
pages={16--21},
_month={March},
note={},
key={}
}