Havelund, Klaus, Arne Skou, Kim G. Larsen, and Kristian Lund. “Formal Modeling and Analysis of an Audio/Video Protocol: An Industrial Case Study Using UPPAAL”. BRICS Report Series 4, no. 31 (June 1, 1997). Accessed April 26, 2024. https://tidsskrift.dk/brics/article/view/18957.