Pessolani, P. A. “MINIX4RT: Real-Time Semaphores”. Journal of Computer Science and Technology, vol. 8, no. 03, Oct. 2008, pp. p. 139-143, https://journal.info.unlp.edu.ar/JCST/article/view/755.