Model-Driven Engineering for Swarm-Based Space Exploration Missions