Jensen, H.E., Larsen, K.G. and Skou, A. 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.