Hierarchical budget management in the RED-Linux scheduling framework | IEEE Conference Publication | IEEE Xplore