Reengineering an industrial HMI: Approach, objectives, and challenges | IEEE Conference Publication | IEEE Xplore