Real-time systems scheduling 1 : fundamentals - Chetto, Maryline, (Networks and Telecommunications Series)