Liyong Lin, Jian Cao, Lele Li: Reduction for Timed Discrete-Event Systems I: Timed Discrete-Event Systems are Synchronous Product Structures. ICBASE 2024: 548-552