A formalization of priority inversion. (1993)

by O Babaoglu, K Marzullo, F B Schneider
Venue:Real-time Systems,