Real-time systems - Liu Jane W. S. (Prentice Hall, 2000)