Hyeonjoong Cho, Binoy Ravindran, E. Douglas Jensen: Synchronization for an optimal real-time scheduling algorithm on multiprocessors. SIES 2007: 9-16