Progetto di Real-time Kernels and Systems basato sull’analisi del paper Nested, but Separate: Isolating Unrelated Critical Sections in Real-Time Nested Locking di B. B. Brandenburg e J. Robb. Il progetto è stato fatto in collaborazione con Giuseppe Rossano.