Kristoffersen, K. J.; Laroussinie, F.; Petersen, K. G.; Pettersson, P.; Yi, W. A Compositional Proof of a Real-Time Mutual Exclusion Protocol. BRICS 1996, 3.