Simulation of rendezvous and docking between service spacecraft and non-cooperative target with MATLAB-Simulink and STK | IEEE Conference Publication | IEEE Xplore