Aceto, L. “A Complete Axiomatization of Timed Bisimulation for a Class of Timed Regular Behaviours (Revised Version)”. BRICS Report Series, vol. 1, no. 43, Dec. 1994, doi:10.7146/brics.v1i43.21599.