A compositional proof of a real-time mutual exclusion protocol (1996)

by K J Kristoersen, F Laroussinie, K G Larsen, P Pettersson, W Yi