Pushdown timed automata: A binary reachability characterization and safety verification.
scientific article; zbMATH DE number 1965338
scientific article