Parametric Timing Analysis for Complex Architectures. - Sebastian Altmeyer; Christian Humbert; Björn Lisper; Reinhard Wilhelm (RTCSA, 2008)