Model-based telerobotic control with virtual fixtures for satellite servicing tasks | IEEE Conference Publication | IEEE Xplore