Arvind Easwaran, Insup Lee, Oleg Sokolsky, Steve Vestal. A Compositional Scheduling Framework for Digital Avionics Systems. In 15th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications, RTCSA 2009, Beijing, China, 24-26 August 2009. pages 371-380, IEEE Computer Society, 2009. [doi]
Abstract is missing.