Bozhko, S., & Brandenburg, B. B.(2020). Abstract Response-Time Analysis: A Formal Foundation for the Busy-Window Principle (MPI-SWS-2020-003). Saarbrücken: Max Planck Institute for Software Systems. Retrieved from https://www.mpi-sws.org/tr/2020-003.pdf.