Reengineering the operator interface for a semiconductor manufacturing execution system | IEEE Conference Publication | IEEE Xplore