Design of a micro-AUV for autonomy development and multi-vehicle systems | IEEE Conference Publication | IEEE Xplore