Probabilistic Reaction Time Analysis
M. Günzel, N. Ueter, K.-H. Chen, G. von der Brüggen, J.-J. Chen, ACM Transactions on Embedded Computing Systems 22 (2023) 1–22.