MBSE driven approach for defining problem domain | Synapse