Effective model-based systems engineering. ([2019])