Predictable communication protocol processing in real-time Mach | IEEE Conference Publication | IEEE Xplore