A Dynamic Model of ROV with a Robotic Manipulator Using Kane's Method | IEEE Conference Publication | IEEE Xplore