Automatic Generation of Benchmark Programs for the Evaluation of Analyses and Optimizations for Hard Real-Time Systems