Describir: Real-time software techniques /