Text this: Real-Time Systems (1987)