Tvardovskii A., Yevtushenko N. Deriving homing sequences for Finite State Machines with timed guards // # 17, 2020
