Describir: Monitoring and debugging of distributed real-time systems /