Ein Benchmarkgenerator zur Bewertung von WCET-Analysatoren.