Decision problems for lower/upper bound parametric timed automata
scientific article; zbMATH DE number 5641452