Task allocation and automation in design and operation of man-machine systems | IEEE Conference Publication | IEEE Xplore