Decidable verification for reducible timed automata specified in a first order logic with time
scientific article; zbMATH DE number 1774104