Task-accurate performance modeling in SystemC for real-time multi-processor architectures | IEEE Conference Publication | IEEE Xplore