(1)
Pessolani, P. A. MINIX4RT: Real-Time Semaphores. JCS&T 2008, 8, p. 139-143.