Garanina N., Staroletov S., Zyubin V., Anureev I. Model Checking Process-Oriented IEC 61131-3 Structured Text Programs // # 22, 2023
Chernenko I. Pattern-based approach to automation of deductive verification of process-oriented programs // # 25, 2024
Chernenko I. Requirements patterns in deductive verification of process-oriented programs and examples of their use // # 22, 2023
Zyubin V., Liakh T., Rozov A. Reflex Language: a Practical Notation for Cyber-Physical Systems // # 12, 2018
