D
[Dan03] Zhe Dang. Pushdown Timed Automata: A Binary Reachability Characterization and Safety Verification. Theoretical Computer Science 302(1-3):93-121. Elsevier, June 2003. 
@article{tcs302(1-3)-Dang,
  author =              {Dang, Zhe},
  title =               {Pushdown Timed Automata: A~Binary Reachability
                         Characterization and Safety Verification},
  publisher =           {Elsevier},
  journal =             {Theoretical Computer Science},
  volume =              {302},
  number =              {1-3},
  pages =               {93-121},
  year =                {2003},
  month =               jun,
}
List of authors