Havelund K, Skou A, Larsen KG, Lund K. Formal Modeling and Analysis of an Audio/Video Protocol: An Industrial Case Study Using UPPAAL. BRICS [Internet]. 1997 Jun. 1 [cited 2024 May 2];4(31). Available from: https://tidsskrift.dk/brics/article/view/18957