Describir: Advances in real-time systems /