@inproceedings(AbdullaAS12,
 author       = {Parosh Aziz Abdulla and Mohamed Faouzi Atig and Jari Stenman},
 year         = {2012},
 title        = {Dense-Timed Pushdown Automata},
 booktitle    = {Proc. 27th {LICS}},
 publisher    = {{IEEE} Computer Society},
 pages        = {35--44},
 doi          = {10.1109/LICS.2012.15},
)
@article(AlurD94,
 author       = {Rajeev Alur and David L. Dill},
 year         = {1994},
 title        = {A Theory of Timed Automata},
 journal      = {Theoretical Computer Science},
 volume       = {126},
 number       = {2},
 pages        = {183--235},
 doi          = {10.1016/0304-3975(94)90010-8},
)
@inproceedings(AlurEM04,
 author       = {Rajeev Alur and Kousha Etessami and Parthasarathy Madhusudan},
 year         = {2004},
 title        = {A Temporal Logic of Nested Calls and Returns},
 booktitle    = {Proc. 10th TACAS},
 series       = {LNCS},
 volume       = {2988},
 publisher    = {Springer},
 pages        = {467--481},
 doi          = {10.1007/978-3-540-24730-2\_35},
)
@article(AlurFH96,
 author       = {Rajeev Alur and Tom{\'{a}}s Feder and Thomas A. Henzinger},
 year         = {1996},
 title        = {The Benefits of Relaxing Punctuality},
 journal      = {J. {ACM}},
 volume       = {43},
 number       = {1},
 pages        = {116--146},
 doi          = {10.1145/227595.227602},
)
@article(AlurFH99,
 author       = {Rajeev Alur and Limor Fix and Thomas A. Henzinger},
 year         = {1999},
 title        = {Event-Clock Automata: {A} Determinizable Class of Timed Automata},
 journal      = {Theoretical Computer Science},
 volume       = {211},
 number       = {1-2},
 pages        = {253--273},
 doi          = {10.1016/S0304-3975(97)00173-4},
)
@article(AlurH93,
 author       = {Rajeev Alur and Thomas A. Henzinger},
 year         = {1993},
 title        = {Real-Time Logics: Complexity and Expressiveness},
 journal      = {Inf. Comput.},
 volume       = {104},
 number       = {1},
 pages        = {35--77},
 doi          = {10.1006/inco.1993.1025},
)
@inproceedings(AlurMadhu04,
 author       = {Rajeev Alur and Parthasarathy Madhusudan},
 year         = {2004},
 title        = {Visibly Pushdown Languages},
 booktitle    = {Proc. 36th STOC},
 publisher    = {ACM},
 pages        = {202--211},
 doi          = {10.1145/1007352.1007390},
)
@book(Baier,
 author       = {Christel Baier and Joost-Pieter Katoen},
 year         = {2008},
 title        = {Principles of Model Checking},
 publisher    = {The MIT Press},
)
@inproceedings(BenerecettiMP10,
 author       = {Massimo Benerecetti and Stefano Minopoli and Adriano Peron},
 year         = {2010},
 title        = {Analysis of Timed Recursive State Machines},
 booktitle    = {{TIME} 2010 - 17th International Symposium on Temporal Representation and Reasoning, Paris, France, 6-8 September 2010},
 pages        = {61--68},
 doi          = {10.1109/TIME.2010.10},
)
@article(BenerecettiP16,
 author       = {Massimo Benerecetti and Adriano Peron},
 year         = {2016},
 title        = {Timed recursive state machines: Expressiveness and complexity},
 journal      = {Theoretical Computer Science},
 volume       = {625},
 pages        = {85--124},
 doi          = {10.1016/j.tcs.2016.02.021},
)
@inproceedings(BhaveDKPT16,
 author       = {Devendra Bhave and Vrunda Dave and Shankara Narayanan Krishna and Ramchandra Phawade and Ashutosh Trivedi},
 year         = {2016},
 title        = {A Logical Characterization for Dense-Time Visibly Pushdown Automata},
 booktitle    = {Proc. 10th {LATA}},
 series       = {LNCS},
 volume       = {9618},
 publisher    = {Springer},
 pages        = {89--101},
 doi          = {10.1007/978-3-319-30000-9\_7},
)
@inproceedings(BouajjaniER94,
 author       = {Ahmed Bouajjani and Rachid Echahed and Riadh Robbana},
 year         = {1994},
 title        = {On the Automatic Verification of Systems with Continuous Variables and Unbounded Discrete Data Structures},
 booktitle    = {Hybrid Systems {II}},
 pages        = {64--85},
 doi          = {10.1007/3-540-60472-3\_4},
)
@article(BMP10,
 author       = {L. Bozzelli and A. Murano and A. Peron},
 year         = {2010},
 title        = {{Pushdown Module Checking.}},
 journal      = {Formal Methods in System Design},
 volume       = {36},
 number       = {1},
 pages        = {65--95},
 doi          = {10.1007/s10703-010-0093-x},
)
@inproceedings(BMP18,
 author       = {L. Bozzelli and A. Peron and A. Murano},
 year         = {2018},
 title        = {Event-clock Nested Automata},
 booktitle    = {Proc. 12th LATA},
 series       = {LNCS 10792},
 publisher    = {Springer},
 pages        = {80--92},
 doi          = {10.1007/978-3-319-77313-1\_6},
)
@article(compGandalf18,
 author       = {Laura Bozzelli and Aniello Murano and Adriano Peron},
 year         = {2018},
 title        = {Timed contex-free temporal logics (extended version)},
 journal      = {http://arxiv.org/abs/1808.04271},
 url          = {http://arxiv.org/abs/1808.04271},
)
@inproceedings(CMM+03,
 author       = {K. Chatterjee and D. Ma and R. Majumdar and T. Zhao and T.A. Henzinger and J. Palsberg},
 year         = {2003},
 title        = {Stack Size Analysis for Interrupt-Driven Programs},
 booktitle    = {Proc. 10th SAS},
 series       = {LNCS 2694},
 publisher    = {Springer},
 pages        = {109--126},
 doi          = {10.1007/3-540-44898-5\_7},
)
@inproceedings(ClementeL15,
 author       = {Lorenzo Clemente and Slawomir Lasota},
 year         = {2015},
 title        = {Timed Pushdown Automata Revisited},
 booktitle    = {Proc. 30th {LICS}},
 publisher    = {{IEEE} Computer Society},
 pages        = {738--749},
 doi          = {10.1109/LICS.2015.73},
)
@inproceedings(EmmiM06,
 author       = {Michael Emmi and Rupak Majumdar},
 year         = {2006},
 title        = {Decision Problems for the Verification of Real-Time Software},
 booktitle    = {Proc. 9th {HSCC}},
 series       = {LNCS},
 volume       = {3927},
 publisher    = {Springer},
 pages        = {200--211},
 doi          = {10.1007/11730637\_17},
)
@article(Koymans90,
 author       = {Ron Koymans},
 year         = {1990},
 title        = {Specifying Real-Time Properties with Metric Temporal Logic},
 journal      = {Real-Time Systems},
 volume       = {2},
 number       = {4},
 pages        = {255--299},
 doi          = {10.1007/BF01995674},
)
@book(Minsky67,
 author       = {M.L. Minsky},
 year         = {1967},
 title        = {Computation: Finite and Infinite Machines},
 publisher    = {Prentice-Hall, Englewood Cliffs},
)
@inproceedings(OuaknineW06,
 author       = {Jo{\"{e}}l Ouaknine and James Worrell},
 year         = {2006},
 title        = {On Metric Temporal Logic and Faulty Turing Machines},
 booktitle    = {Proc. 9th FOSSACS},
 series       = {LNCS 3921},
 publisher    = {Springer},
 pages        = {217--230},
 doi          = {10.1007/11690634\_15},
)
@article(OuaknineW07,
 author       = {Jo{\"{e}}l Ouaknine and James Worrell},
 year         = {2007},
 title        = {On the decidability and complexity of Metric Temporal Logic over finite words},
 journal      = {Logical Methods in Computer Science},
 volume       = {3},
 number       = {1},
 doi          = {10.2168/LMCS-3(1:8)2007},
)
@article(RaskinS99,
 author       = {Jean{-}Fran{\c{c}}ois Raskin and Pierre{-}Yves Schobbens},
 year         = {1999},
 title        = {The Logic of Event Clocks - Decidability, Complexity and Expressiveness},
 journal      = {Journal of Automata, Languages and Combinatorics},
 volume       = {4},
 number       = {3},
 pages        = {247--286},
)
@inproceedings(TangO09,
 author       = {Nguyen Van Tang and Mizuhito Ogawa},
 year         = {2009},
 title        = {Event-Clock Visibly Pushdown Automata},
 booktitle    = {Proc. 35th {SOFSEM}},
 series       = {LNCS},
 volume       = {5404},
 publisher    = {Springer},
 pages        = {558--569},
 doi          = {10.1007/978-3-540-95891-8\_50},
)
@inproceedings(TrivediW10,
 author       = {Ashutosh Trivedi and Dominik Wojtczak},
 year         = {2010},
 title        = {Recursive Timed Automata},
 booktitle    = {Proc. 8th {ATVA}},
 series       = {LNCS},
 volume       = {6252},
 publisher    = {Springer},
 pages        = {306--324},
 doi          = {10.1007/978-3-642-15643-4\_23},
)
@inproceedings(Wal96,
 author       = {I. Walukiewicz},
 year         = {1996},
 title        = {{Pushdown Processes: Games and Model Checking.}},
 booktitle    = {CAV'96},
 pages        = {62--74},
 doi          = {10.1007/3-540-61474-5\_58},
)