Tracking Divers: An Autonomous Marine Surface Vehicle to Increase Diver Safety | IEEE Journals & Magazine | IEEE Xplore