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