Stückrath, J.; Weyers, B. Lattice-Extended Coloured Petri Net Rewriting for Adaptable User Interface Models. ECEASST 2014, 67.