Real-time systems - Liu, Jane W. S. (Delhi, 2008)