Enhancing Model-Based System Architecting Through Knowledge-Based Design Space Exploration