Stefan Andrei, Albert Mo Kim Cheng: Optimization of Real-Time Systems Timing Specifications. RTCSA 2006: 68-76