@InProceedings{TW10a,
author={A. Trivedi and D. Wojtczak},
title={Recursive Timed Automata},
booktitle={Proc. of 8th International Symposium on Automated Technology for Verification and Analysis (ATVA'10)},
year={2010},
editor={A. Boujjani and W-N Chin},
pages={306--324},
organization={},
publisher={Springer},
series={LNCS},
volume={6252},
address={},
month={},
note={},
key={}
}