Tvardovskii A., Yevtushenko N. Deriving homing sequences for Finite State Machines with timed guards // # 17, 2020
Zyubin V., Liakh T., Rozov A. Reflex Language: a Practical Notation for Cyber-Physical Systems // # 12, 2018
