Jensen, Henrik Ejersbo, Kim G. Larsen, and Arne Skou. “Modelling and Analysis of a Collision Avoidance Protocol Using SPIN and UPPAAL”. BRICS Report Series 3, no. 24 (January 24, 1996). Accessed March 28, 2024. https://tidsskrift.dk/brics/article/view/20005.