Semi-Analytical Model for Design and Analysis of On-Orbit Servicing Architecture. - Koki Ho; Hai Wang; Paul A. DeTrempe; Tristan Sarton du Jonchay; Kento Tomita (CoRR, 2019)