Model-Driven Instrumentation of Graphical User Interfaces | IEEE Conference Publication | IEEE Xplore