When the property to prove refers to a response time or a difference of response times, the components models that must be kept can be easily found: they are on the route of data, i.e. they generate, modify or propagate data (frames or variables) which are functions of the input or output events which the considered time performance is based on.