Brandenburg, Björn B. Group B. Brandenburg, Max Planck Institute for Software Systems, Max Planck Society;
https://www.mpi-sws.org/tr/2020-002.pdf (Verlagsversion)
Robb, J., & Brandenburg, B. B.(2020). Nested, but Separate: Isolating Unrelated Critical Sections in Real-Time Nested Locking (MPI-SWS-2020-002). Saarbrücken: Max Planck Institute for Software Systems. Retrieved from https://www.mpi-sws.org/tr/2020-002.pdf.