Sebastian Altmeyer, Robert I. Davis: On the correctness, optimality and precision of Static Probabilistic Timing Analysis. DATE 2014: 1-6