Augmenting the discrete timed automaton with other data structures.
scientific article; zbMATH DE number 1857061