Modeling Graphical and Speech User Interfaces with Widgets and Spidgets | VDE Conference Publication | IEEE Xplore