Analysing real-time systems by means of aggregate approach