Autosub Long Range: A long range deep diving AUV for ocean monitoring | IEEE Conference Publication | IEEE Xplore