Min-Ih Chen, Kwei-Jay Lin: A priority ceiling protocol for multiple-instance resources. RTSS 1991: 140-149