Real-time systems - Liu (Prentice Hall, 2000)