Jensen, H. E., Larsen, K. G., & Skou, A. (1996). Modelling and Analysis of a Collision Avoidance Protocol using SPIN and UPPAAL. BRICS Report Series, 3(24). https://doi.org/10.7146/brics.v3i24.20005