Brandenburg, B. B. “Blocking Optimality in Distributed Real-Time Locking Protocols”. Leibniz Transactions on Embedded Systems, vol. 1, no. 2, Sept. 2014, pp. 01:1-01:22, doi:10.4230/LITES-v001-i002-a001.