Trajectory Tracking Control of Multi-AUVs Formation based on Virtual Leader | IEEE Conference Publication | IEEE Xplore