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). doi: 10.7146/brics.v3i24.20005.