Bodin E. Spin for puzzles: Using Spin for solving the Japanese river puzzle and the Square-1 cube // # 2, 2013
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
Garanina N. An Exact Schedulability Test for Real-time Systems with an Abstract Scheduler // # 25, 2024
