Pessolani, Pablo Andrés. 2008. “MINIX4RT: Real-Time Semaphores”. Journal of Computer Science and Technology 8 (03):p. 139-143. https://journal.info.unlp.edu.ar/JCST/article/view/755.