Garanina N., Staroletov S., Zyubin V., Anureev I. Model Checking Process-Oriented IEC 61131-3 Structured Text Programs // # 22, 2023
Staroletov S., Dubko A. A Method to Verify Parallel and Distributed Software in C# by Doing Roslyn AST Transformation to a Promela Model // # 15, 2019
