Software design techniques for the man-machine interface to autonomous underwater vehicles | IEEE Conference Publication | IEEE Xplore