Brandenburg, 2013. A Fully Preemptive Multiprocessor Semaphore Protocol for Latency-Sensitive Real-Time Applications, in: . IEEE.. https://doi.org/10.1109/ecrts.2013.38