System modeling process with SysML assuming the use of models | IEEE Conference Publication | IEEE Xplore