Kristoffersen, Kåre J., Francois Laroussinie, Kim G. Petersen, Paul Pettersson, and Wang Yi. “A Compositional Proof of a Real-Time Mutual Exclusion Protocol”. BRICS Report Series 3, no. 55 (June 25, 1996). Accessed April 18, 2024. https://tidsskrift.dk/brics/article/view/20058.