Multiprocessor Scheduling for Real-Time Systems - Baruah, Sanjoy; Bertogna, Marko; Buttazzo, Giorgio (Springer International Publishing : Imprint: Springer, 2015)