Kernel mechanisms for distributed real-time programs | IEEE Conference Publication | IEEE Xplore