Architecting Spacecraft with SysML: A Model-based Systems Engineering Approach