K. Havelund, A. Skou, K. G. Larsen, and K. Lund, “Formal Modeling and Analysis of an Audio/Video Protocol: An Industrial Case Study Using UPPAAL”, BRICS, vol. 4, no. 31, Jun. 1997.