No. 43 (1994): RS-43 A Complete Axiomatization of Timed Bisimulation for a Class of Timed Regular Behaviours (Revised Version)