Fast Zone-Based Algorithms for Reachability in Pushdown Timed Automata. - S. Akshay 001; Paul Gastin; Karthik R. Prakash (CAV (1), 2021)