A model of GUI for interactive TV | IEEE Conference Publication | IEEE Xplore