ACETO, L. A Complete Axiomatization of Timed Bisimulation for a Class of Timed Regular Behaviours (Revised Version). BRICS Report Series, v. 1, n. 43, 14 Dec. 1994.