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