Text this: Real-time systems desing and analysis :