Real-time systems scheduling. - Chetto, Maryline (Wiley, 2014)