Model-Based Systems Engineering with the SPES Modeling Language