Static Probabilistic Timing Analysis for Multi-path Programs | Publicación