Title: Handbook of Model-Based Systems Engineering