ARINC 659 scheduling: problem definition | IEEE Conference Publication | IEEE Xplore