Efficient dynamic simulation of an underwater vehicle with a robotic manipulator | IEEE Journals & Magazine | IEEE Xplore