Language Preservation Problems in Parametric Timed Automata - André, Étienne; Lime, Didier; Markey, Nicolas (Logical Methods in Computer Science, 2018)