Formalizing an empirical model: A way to enhance the communication between users and designers | IEEE Conference Publication | IEEE Xplore