@inproceedings{dblp-conf-atva-trivediw10,
  title = {Recursive Timed Automata},
  author = {Ashutosh Trivedi and Dominik Wojtczak},
  year = {2010},
  url = {https://dblp.org/rec/conf/atva/TrivediW10},
  booktitle = {ATVA 2010}
}