Practical Model-Based Systems Engineering - Fernandez (IEEE, 2019)