Speeding up Static Probabilistic Timing Analysis | Publicación