A scalable formal method for design and automatic checking of user interfaces | IEEE Conference Publication | IEEE Xplore