Monitoring and Debugging Distributed Real-Time Systems