Dynamic data structures for timed automata acceptance
scientific article; zbMATH DE number 7608289