My master’s thesis is based on my paper Nested, but Separate: Isolating Unrelated Critical Sections in Real-Time Nested Locking. It provides a much more thorough background on real-time locking to make the material accessible to a wider computer science audience.
