Christensen, Søren, and Jens Bæk Jørgensen. 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.