Text this: Monitoring and debugging of distributed real-time systems /