Describir: Real-Time Systems