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