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