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