Jensen, H.E. et al. 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.