Reachability results for timed automata with unbounded data structures
systems of data management timed automata
scientific article; zbMATH DE number 5797365