Speeding up Static Probabilistic Timing Analysis