A predictable interrupt management policy for real-time operating systems | IEEE Conference Publication | IEEE Xplore