Yang, M., Wieder, A., & Brandenburg, B. (2015). Global Real-time Semaphore Protocols: A Survey, Unified Analysis, and Comparison. In IEEE 36th Real-Time Systems Symposium (pp. 1-12). Los Alamitos, CA: IEEE Computer Society. doi:10.1109/RTSS.2015.8.