Early Specification of User-Interfaces: Toward a Formal Approach | IEEE Conference Publication | IEEE Xplore