A comparison of additivity axioms in timed transition systems / A.S.A. Jeffrey, S.A. Schneider, F.W. Vaandrager
A comparison of additivity axioms in timed transition systems