@article{YKNP06,
author={H. Younes and M. Kwiatkowska and G. Norman and D. Parker},
title={Numerical vs. Statistical Probabilistic Model Checking},
journal={International Journal on Software Tools for Technology Transfer (STTT)},
year={2006},

volume={8},
number={3},
pages={216-228},
month={},
note={},
key={}
}