Havelund, K., Skou, A., Larsen, K. G., & Lund, K. (1997). Formal Modeling and Analysis of an Audio/Video Protocol: An Industrial Case Study Using UPPAAL. BRICS Report Series, 4(31). https://doi.org/10.7146/brics.v4i31.18957