Service differentiation of communication-bound processes in a real-time operating system | IEEE Conference Publication | IEEE Xplore