@article{KNSW07,
author={M. Kwiatkowska and G. Norman and J. Sproston and F. Wang},
title={Symbolic Model Checking for Probabilistic Timed Automata},
journal={Information and Computation},
year={2007},

volume={205},
number={7},
pages={1027-1077},
month={},
note={},
key={}
}