Design, Modeling, Control, and Experiments for Multiple AUVs Formation | IEEE Journals & Magazine | IEEE Xplore