A Compositional Scheduling Framework for Digital Avionics Systems | IEEE Conference Publication | IEEE Xplore