A Formal Approach for Modeling Interactive Visual Interfaces | IEEE Conference Publication | IEEE Xplore