Workload-aware shaping of shared resource accesses in mixed-criticality systems | IEEE Conference Publication | IEEE Xplore