Validating a User eXperience Model through a Formative Approach: an Empirical Study | IEEE Conference Publication | IEEE Xplore