A Model-driven Approach to Design User Interaction on Smart Speakers | IEEE Conference Publication | IEEE Xplore