Multiprocessor scheduling for real-time systems - Baruah, Sanjoy (Springer, 2015)