Multiprocessor scheduling for real-time systems - Baruah, Sanjoy K. (Sanjoy Kumar) 1965-; Bertogna, Marko; Buttazzo, Giorgio C. 1960- (Springer International Publishing, 2015)