@Article{KNP05d,
author={M. Kwiatkowska and G. Norman and D. Parker},
title={Quantitative analysis with the probabilistic model checker {PRISM}},
journal={Electronic Notes in Theoretical Computer Science},
year={2005},

volume={153},
number={2},
pages={5-31},
publisher={},
month={},
note={},
key={}
}