"Dense-Timed Pushdown Automata."

Parosh Aziz Abdulla, Mohamed Faouzi Atig, Jari Stenman (2012)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics