Zhe Dang Oscar H. Ibarra Tevfik Bultan Richard A. Kemmerer Jianwen Su Binary Reachability Analysis of Discrete Pushdown Timed Automata. 69-84 2000 conf/cav/2000 CAV db/conf/cav/cav2000.html#DangIBKS00 http://dx.doi.org/10.1007/10722167_9