A case study in automated GUI generation for multiple devices | IEEE Conference Publication | IEEE Xplore