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