Adelt, P., Koppelmann, B., Müller, W., &; Scheytt, C. (2021). QEMU zur Simulation von Worst-Case-Ausfuhrungszeiten. MBMV 2021 - Methods and Description Languages for Modelling and Verification of Circuits and Systems; GMM/ITG/GI-Workshop.