Real-Time Systems Series