(1)
Jensen, H. E.; Larsen, K. G.; Skou, A. Modelling and Analysis of a Collision Avoidance Protocol Using SPIN and UPPAAL. BRICS 1996, 3.