Using Full-Lifecycle MBSE for Transforming On-orbit Servicing: The Tetra-5 Bus Experience | IEEE Conference Publication | IEEE Xplore