Discrete-time Contractive MPC-based Sliding Mode Tension Control for the Deployment of Space Tethered Satellite | IEEE Conference Publication | IEEE Xplore