“…Timed automata with deadlines (TAD for short) [24,7,5,6] were introduced to simplify the compositionality problem in timed systems, allowing also the modelling of soft real time systems. At the same time, the TAD model ensures, under reasonable assumption, what is called time reactivity in [6] and time lock freedom in [8], that is, whenever time progress stops there exists at least one transition enabled.…”