Kristoffersen, Kåre J., Francois Laroussinie, Kim G. Petersen, Paul Pettersson, and Wang Yi. 1996. “A Compositional Proof of a Real-Time Mutual Exclusion Protocol”. BRICS Report Series 3 (55). https://doi.org/10.7146/brics.v3i55.20058.