Aceto, Luca. “A Complete Axiomatization of Timed Bisimulation for a Class of Timed Regular Behaviours (Revised Version)”. BRICS Report Series 1, no. 43 (December 14, 1994). Accessed April 25, 2024. https://tidsskrift.dk/brics/article/view/21599.