A priority ceiling protocol for multiple-instance resources (1991)

by M Chen, K Lin
Venue:In Real-Time Systems Symposium