Timing constraints monitoring in distributed real-time systems