Biondi, Brandenburg, Wieder, 2016. A Blocking Bound for Nested FIFO Spin Locks, in: . IEEE.. https://doi.org/10.1109/rtss.2016.036