Garanina N., Staroletov S., Zyubin V., Anureev I. Model Checking Process-Oriented IEC 61131-3 Structured Text Programs // # 22, 2023
Zyubin V., Liakh T. Model Checking of industrial control algorithms in combination with virtual objects // # 8, 2016
Chernenko I. Pattern-based approach to automation of deductive verification of process-oriented programs // # 25, 2024
Zyubin V., Liakh T., Rozov A. Reflex Language: a Practical Notation for Cyber-Physical Systems // # 12, 2018
