Text this: Research on the digital design of LEO constellation systems based on MBSE