From Tracepoints to Timeliness: A Semi-Markov Framework for Predictive Runtime Analysis. - Benno Bielmeier; Ralf Ramsauer; Takahiro Yoshida; Wolfgang Mauerer (CoRR, 2025)