@inproceedings(abdulla2012dense,
 author       = "P.A. Abdulla and M.F. Atig and J. Stenman",
 year         = "2012",
 title        = "Dense-timed pushdown automata",
 booktitle    = "Logic in Computer Science (LICS), 2012 27th Annual IEEE Symposium on",
 organization = "IEEE",
 doi          = "10.1109/LICS.2012.15",
)
@article(abdulla2012minimal,
 author       = "P.A. Abdulla and M.F. Atig and J. Stenman",
 year         = "2012",
 title        = "The Minimal Cost Reachability Problem in Priced Timed Pushdown Systems",
 journal      = "Language and Automata Theory and Applications",
 pages        = "58--69",
 doi          = "10.1007/978-3-642-28332-1",
)
@article(abdulla1998verifying,
 author       = "P.A. Abdulla and B. Jonsson",
 year         = "1998",
 title        = "Verifying networks of timed processes",
 journal      = "Tools and Algorithms for the Construction and Analysis of Systems",
 pages        = "298--312",
 doi          = "10.1007/BFb0054179",
)
@article(abdulla2003model,
 author       = "P.A. Abdulla and B. Jonsson",
 year         = "2003",
 title        = "Model checking of systems with many identical timed processes",
 journal      = "Theoretical Computer Science",
 volume       = "290",
 number       = "1",
 pages        = "241--264",
 doi          = "10.1016/S0304-3975(01)00330-9",
)
@article(alur1994theory,
 author       = "R. Alur and D.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(BEM97,
 author       = "A. Bouajjani and J. Esparza and O. Maler",
 year         = "1997",
 title        = "Reachability Analysis of Pushdown Automata: Application to Model-Checking",
 booktitle    = "CONCUR",
 series       = "LNCS 1243",
 publisher    = "Springer",
 pages        = "135--150",
 doi          = "10.1007/3-540-63141-0\_10",
)