Filip Markovic, Thomas Nolte, Alessandro Vittorio Papadopoulos. Analytical Approximations in Probabilistic Analysis of Real-Time Systems. In IEEE Real-Time Systems Symposium, RTSS 2022, Houston, TX, USA, December 5-8, 2022. pages 158-171, IEEE, 2022. [doi]
Abstract is missing.