Sanjoy K. Baruah, Marko Bertogna, Giorgio C. Buttazzo: Multiprocessor Scheduling for Real-Time Systems. Embedded Systems, Springer 2015, ISBN 978-3-319-08695-8, pp. I-XV, 1-228