Mixed-criticality NoC partitioning based on the NoCDepend dependability technique | IEEE Conference Publication | IEEE Xplore