The software for verification of underwater vehicle missions | IEEE Conference Publication | IEEE Xplore