Implementing a general real-time scheduling framework in the RED-Linux real-time kernel | IEEE Conference Publication | IEEE Xplore