A Model-Based Framework for Early-Stage Analysis of Spacecraft