Providing throughput guarantees in mixed-criticality networks-on-chip | IEEE Conference Publication | IEEE Xplore