Propulsion system sizing for servicing spacecrafts | IEEE Conference Publication | IEEE Xplore