Foundations for model-based systems engineering : from patterns to models - Holt, Jon (IET, 2016)