Jensen, H.E. m.fl. 1996. Modelling and Analysis of a Collision Avoidance Protocol using SPIN and UPPAAL. BRICS Report Series. 3, 24 (jan. 1996). DOI:https://doi.org/10.7146/brics.v3i24.20005.