Kernel-Level Design to Support Partitioning and Hierarchical Real-Time Scheduling of ARINC 653 for VxWorks. - Weilong Ruan; Zhengjun Zhai (DASC, 2014)