Probabilistic State-Based RT-Analysis of SDFGs on MPSoCs with Shared Memory Communication | IEEE Conference Publication | IEEE Xplore