Real-time systems scheduling 1 : fundamentals - Chetto, Maryline (Networks and telecommunications series., 2014)