Étienne André, Dylan Marinho, Jaco van de Pol: A Benchmarks Library for Extended Parametric Timed Automata. TAP@STAF 2021: 39-50