K. J. Kristoffersen, F. Laroussinie, K. G. Petersen, P. Pettersson, og W. Yi, “A Compositional Proof of a Real-Time Mutual Exclusion Protocol”, BRICS, bd. 3, nr. 55, jun. 1996.