A Framework for Compositional and Hierarchical Real-Time Scheduling | IEEE Conference Publication | IEEE Xplore