Text this: Real-time systems design and analysis :