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). doi: 10.7146/dpb.v26i514.7043.