Challenge benchmarks for verification of real-time programs
CDx: a family of real-time Java benchmarks