@article{KNSS02,
author={M. Kwiatkowska and G. Norman and R. Segala and J. Sproston},
title={Automatic Verification of Real-time Systems with Discrete Probability Distributions},
journal={Theoretical Computer Science},
year={2002},

volume={282},
number={},
pages={101--150},
_month={June},
note={},
key={}
}