Zhang, et al.. Priority Inheritance Protocol Proved Correct. Springer Nature, Feb. 2019, doi:10.1007/s10817-019-09511-5.