Automated Identification of Valid Model Networks Using Model-Based Systems Engineering