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