An Ontology of Specification Patterns for Verification of Concurrent Systems. - Natalia Olegovna Garanina; Vladimir Zubin; Tatiana V. Lyakh; Sergei Gorlatch (SoMeT, 2018)

Two-Step Deductive Verification of Control Software Using Reflex. - Igor S. Anureev; Natalia Olegovna Garanina; Tatiana V. Liakh; Andrei Rozov; Vladimir Zyubin; Sergei Gorlatch (Ershov Informatics Conference, 2019)

Dedicative Verification of Reflex Programs. - Igor S. Anureev; Natalya Olegovna Garanina; Tatiana V. Lyakh; Andrei S. Rozov; Vladimir E. Zyubin; Sergei P. Gorlatch (Program. Comput. Softw., 2020)

Modeling and Verification using Different Notations for CPSs: The One-Water-Tank Case Study. - Tatiana V. Liakh; Andrei Rozov; Vladimir Zyubin; Sergey M. Staroletov; Thomas Baar; Horst Schulte; Ivan Konyukhov; Nikolay Shilov 002 (FedCSIS, 2021)

Event-Driven Temporal Logic Pattern for Control Software Requirements Specification. - Vladimir Zyubin; Igor S. Anureev; Natalya Olegovna Garanina; Sergey M. Staroletov; Andrei Rozov; Tatiana V. Liakh (FSEN, 2021)

A Temporal Logic for Programmable Logic Controllers. - Natalia Olegovna Garanina; Igor S. Anureev; Vladimir E. Zyubin; Sergey M. Staroletov; Tatiana V. Liakh; Andrei S. Rozov; Sergei P. Gorlatch (Autom. Control. Comput. Sci., 2021)