Reusable MBSE Modeling and Simulation for Satellite Network | IEEE Conference Publication | IEEE Xplore