Étienne André, Dylan Marinho, Jaco van de Pol: The IMITATOR benchmarks library 2.0: A benchmarks library for extended parametric timed automata. Zenodo 2021