Timed automata and additive clock constraints
scientific article; zbMATH DE number 1521628