Simulating SysML models: Overview and challenges | Synapse