Describir: Real-time system design