Eine Benchmark-Bibliothek für erweiterte parametrische zeitgesteuerte Automaten