@techreport{KNS03d,
author={M. Kwiatkowska and G. Norman and J. Sproston},
title={Symbolic Model Checking for Probabilistic Timed Automata},
institution={School of Computer Science, University of Birmingham},
year={2003},

type={},
number={CSR-03-10},
address={},
month={},
note={},
url={},
key={}
}