Aceto, L. A Complete Axiomatization of Timed Bisimulation for a Class of Timed Regular Behaviours (Revised Version). BRICS 1994, 1.