Modeling user interface-application interactions | IEEE Journals & Magazine | IEEE Xplore