Slack Optimization of Timing-Critical Nets. - Matthias Müller-Hannemann; Ute Zimmermann (ESA, 2003)