4TC00 (2021-1) Model-based systems engineering