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