Automated concurrency re-assignment in high level system models for efficient system-level simulation | IEEE Conference Publication | IEEE Xplore