Tvardovskii A., Yevtushenko N. Deriving homing sequences for Finite State Machines with timed guards // # 17, 2020
Burdonov I., Yevtushenko N., Kossatchev A., Kushik N. Synchronizing and Homing Experiments for Input/output Automata // # 10, 2017
