Brandenburg. A Fully Preemptive Multiprocessor Semaphore Protocol for Latency-sensitive Real-time Applications. IEEE, 2013, doi:10.1109/ecrts.2013.38.