@inproceedings(AAS12,
 author       = "Parosh Aziz Abdulla and Mohamed Faouzi Atig and Jari Stenman",
 year         = "2012",
 title        = "Dense-Timed Pushdown Automata",
 booktitle    = "LICS",
 pages        = "35--44",
 url          = "http://dx.doi.org/10.1109/LICS.2012.15",
)
@article(ABEGRY05,
 author       = "Rajeev Alur and Michael Benedikt and Kousha Etessami and Patrice Godefroid and Thomas W. Reps and Mihalis Yannakakis",
 year         = "2005",
 title        = "Analysis of recursive state machines",
 journal      = "ACM Trans. Program. Lang. Syst.",
 volume       = "27",
 number       = "4",
 pages        = "786--818",
 url          = "http://doi.acm.org/10.1145/1075382.1075387",
)
@inproceedings(AD90,
 author       = "Rajeev Alur and David L. Dill",
 year         = "1990",
 title        = "Automata For Modeling Real-Time Systems",
 booktitle    = "ICALP",
 pages        = "322--335",
 url          = "http://dx.doi.org/10.1007/BFb0032042",
)
@inproceedings(AD94,
 author       = "Rajeev Alur and David L. Dill",
 year         = "1994",
 title        = "A Theory of Timed Automata",
 volume       = "126",
 pages        = "183--235",
 url          = "http://dx.doi.org/10.1016/0304-3975(94)90010-8",
)
@inproceedings(Ete04,
 author       = "Kousha Etessami",
 year         = "2004",
 title        = "Analysis of Recursive Game Graphs Using Data Flow Equations",
 booktitle    = "VMCAI",
 pages        = "282--296",
 url          = "http://dx.doi.org/10.1007/978-3-540-24622-0_23",
)
@inproceedings(KMT14,
 author       = "Shankara Narayanan Krishna and Lakshmi Manasa and Ashutosh Trivedi",
 year         = "2014",
 title        = "On The Reachability Problem for Recursive Hybrid Automata with One and Two Players",
 booktitle    = "Manuscript",
 volume       = "abs/1406.7289",
 url          = "http://arxiv.org/abs/1406.7289",
)
@book(Min67,
 author       = "Marvin L. Minsky",
 year         = "1967",
 title        = "Computation: finite and infinite machines",
 publisher    = "Prentice-Hall, Inc.",
)
@inproceedings(OW10,
 author       = "Jo{\"e}l Ouaknine and James Worrell",
 year         = "2010",
 title        = "Towards a Theory of Time-Bounded Verification",
 booktitle    = "ICALP (2)",
 pages        = "22--37",
 url          = "http://dx.doi.org/10.1007/978-3-642-14162-1_3",
)
@incollection(TW10,
 author       = "Ashutosh Trivedi and Dominik Wojtczak",
 year         = "2010",
 title        = "Recursive Timed Automata",
 booktitle    = "ATVA",
 pages        = "306--324",
 url          = "http://dx.doi.org/10.1007/978-3-642-15643-4_23",
)
@inproceedings(Wal96,
 author       = "Igor Walukiewicz",
 year         = "1996",
 title        = "Pushdown Processes: Games and Model Checking",
 booktitle    = "CAV",
 pages        = "62--74",
 url          = "http://dx.doi.org/10.1007/3-540-61474-5_58",
)