Christensen, S., & Jørgensen, J. B. (1997). Analysing Bang & Olufsen’s BeoLink Audio/Video System Using Coloured Petri Nets. DAIMI Report Series, 26(514). https://doi.org/10.7146/dpb.v26i514.7043