A Fast Yet Accurate Message-level Communication Bus Model for Timing Prediction of SDFGs on MPSoC | IEEE Conference Publication | IEEE Xplore