Real-Time Systems - Liu (Jane W S)
20