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