Real-time scheduling of parallel tasks in the Linux Kernel - Fonseca, José (2012)