A Modeling Framework for the Concurrent Design of Complex Space Systems