Real-Time systems - Liu, Jane W. S. (Pearson, 2013)