Performance guarantees for agent-based Hierarchical Diff-EDF scheduler | IEEE Conference Publication | IEEE Xplore