L. Aceto, “A Complete Axiomatization of Timed Bisimulation for a Class of Timed Regular Behaviours (Revised Version)”, BRICS, bd. 1, nr. 43, dec. 1994.