Simulating SysML models: Overview and challenges | IEEE Conference Publication | IEEE Xplore