Modeling of a free-flying space robot manipulator in contact with a target satellite | IEEE Conference Publication | IEEE Xplore