Towards a Formal Integrated Model for Function and User Interface | IEEE Conference Publication | IEEE Xplore