Towards Fully Declarative High-Level Interaction Models: An Approach Facilitating Automated GUI Generation | IEEE Conference Publication | IEEE Xplore