Kristoffersen KJ, Laroussinie F, Petersen KG, Pettersson P, Yi W. A Compositional Proof of a Real-Time Mutual Exclusion Protocol. BRICS [Internet]. 25. juni 1996 [henvist 6. december 2025];3(55). Tilgængelig hos: https://tidsskrift.dk/brics/article/view/20058