Text this: Real-Time Systems (1986)