SysML modeling