Zyubin V., Liakh T. Model Checking of industrial control algorithms in combination with virtual objects // # 8, 2016
Zyubin V., Liakh T., Rozov A. Reflex Language: a Practical Notation for Cyber-Physical Systems // # 12, 2018
