Étienne André, Dylan Marinho, Laure Petrucci, Jaco van de Pol: Efficient Convex Zone Merging in Parametric Timed Automata. FORMATS 2022: 200-218