Formal Modeling and Reconfiguration of User Interfaces | IEEE Conference Publication | IEEE Xplore