Monitoring of real-time systems