P. A. Pessolani, “MINIX4RT: Real-time Semaphores”, JCS&T, vol. 8, no. 03, pp. p. 139–143, Oct. 2008.