Proportional share scheduling of operating system services for real-time applications | IEEE Conference Publication | IEEE Xplore