S. Christensen and J. B. Jørgensen, “Analysing Bang & Olufsen’s BeoLink Audio/Video System Using Coloured Petri Nets”, DPB, vol. 26, no. 514, Feb. 1997.