A Benchmarks Library for Extended Timed Automata