@InProceedings{KNPS03,
author={M. Kwiatkowska and G. Norman and D. Parker and J. Sproston},
title={Performance Analysis of Probabilistic Timed Automata using Digital Clocks},
booktitle={Proc. Formal Modeling and Analysis of Timed Systems (FORMATS'03)},
year={2003},

editor={K. Larsen and P. Niebert},
pages={105--120},
organization={},
publisher={Springer-Verlag},
series={LNCS},
volume={2791},
address={},
_month={September},
note={},
key={}
}