Linux-based memory efficient ARINC 653 partition scheduler. - Cheolsoon Kown; Duksoo Kim; Hyunwoo Joe; Hyungshin Kim (ETFA, 2014)