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