@article{KNPS06,
author={M. Kwiatkowska and G. Norman and D. Parker and J. Sproston},
title={Performance Analysis of Probabilistic Timed Automata using Digital Clocks},
journal={Formal Methods in System Design},
year={2006},

volume={29},
number={},
pages={33-78},
month={},
note={},
key={}
}