A Compositional Scheduling Framework for Digital Avionics Systems.

Arvind Easwaran, Insup Lee, Oleg Sokolsky, Steve Vestal

Browse the full RTCSA paper archive.