Lesage, Griffin, Altmeyer, Davis, 2015. Static Probabilistic Timing Analysis for Multi-path Programs, in: . IEEE.. https://doi.org/10.1109/rtss.2015.41