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