Partition scheduling in APEX runtime environment for embedded avionics software | IEEE Conference Publication | IEEE Xplore