Jensen, Henrik Ejersbo, Kim G. Larsen, and Arne Skou. 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.