J. Stückrath and B. Weyers, “Lattice-extended Coloured Petri Net Rewriting for Adaptable User Interface Models”, eceasst, vol. 67, Aug. 2014.