Antonio Mancina, Dario Faggioli, Giuseppe Lipari, Jorrit N. Herder, Ben Gras, Andrew S. Tanenbaum. Enhancing a dependable multiserver operating system with temporal protection via resource reservations. Real-Time Systems, 43(2):177-210, 2009. [doi]
Abstract is missing.