Farn Wang, Hsu-Chun Yen: Parametric Optimization of Open Real-Time Systems. SAS 2001: 299-318