Software design techniques for the man machine interface to a complex underwater vehicle | IEEE Conference Publication | IEEE Xplore