Stückrath, J. and Weyers, B. (2014) “Lattice-extended Coloured Petri Net Rewriting for Adaptable User Interface Models”, Electronic Communications of the EASST, 67. doi: 10.14279/tuj.eceasst.67.941.