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