Linux-based memory efficient ARINC 653 partition scheduler | IEEE Conference Publication | IEEE Xplore