Zakharov V., Temerbekova G. On the minimization and equivalence checking of sequential reactive systems // # 7, 2016
Gnatenko A., Zakharov V. Using an extensions of CTL* for specification and verification of sequential reactive systems // # 17, 2020
Zyubin V., Liakh T., Rozov A. Reflex Language: a Practical Notation for Cyber-Physical Systems // # 12, 2018
