Marzullo and Fred B.Schneider, "A Formalization of Priority Inversion (1993)

by Ozalp Babaoglu, Keith
Venue:Real-Time Systems