Towards a fixed priority scheduler for an aircraft application | IEEE Conference Publication | IEEE Xplore