Fig. 2From: On the assessment of probabilistic WCET estimates reliability for arbitrary programs P event and \(\overline {P_{\text {event}}(R)}\) as a function of S. (P obs=0.021)Back to article page