Tvardovskii A., Yevtushenko N. On parallel composition of Finite State Machines with timed guards // # 14, 2019