@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={} }