Challenge benchmarks for verification of real-time programs
Software Considerations in Airborne Systems and Equip-ment Certification