Service Differentiation of Communication-bound Processes in a Real-Time Operating System