Pessolani, P. A. (2008). MINIX4RT: Real-time Semaphores. Journal of Computer Science and Technology, 8(03), p. 139–143. Retrieved from https://journal.info.unlp.edu.ar/JCST/article/view/755