Back-stepping Technique-based Distributed Formation Control of Multiple Under-actuated Autonomous Underwater Vehicles | IEEE Conference Publication | IEEE Xplore