A System Theoretic Process Analysis Framework and Model Based Approach for Resilient Space Architecture Design