Petrel Long Range AUV development | IEEE Conference Publication | IEEE Xplore