@InProceedings{WK05,
author={F. Wang and M. Kwiatkowska},
title={An {MTBDD}-based implementation of forward reachability for probabilistic timed automata},
booktitle={Proc. 3rd International Symposium on Automated Technology for Verification and Analysis (ATVA'05)},
year={2005},

editor={D. Peled and Y.-K. Tsay},
pages={385--399},
organization={},
publisher={Springer},
series={LNCS},
volume={3707},
address={},
_month={October},
note={},
key={}
}