Stipulated-Time Formation Control of Networked Marine Surface Vehicles | IEEE Journals & Magazine | IEEE Xplore