Brandenburg, B. B. (2014). Blocking Optimality in Distributed Real-Time Locking Protocols. Leibniz Transactions on Embedded Systems, 1(2), 01:1–01:22. https://doi.org/10.4230/LITES-v001-i002-a001