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