Гаранина Н.О., Зюбин В.Е., Лях Т.В. Онтологический подход к организации шаблонов требований в рамках системы поддержки формальной верификации распределенных программных систем  //  Системная информатика. — 2017. — № 9.  —  С. 111-132

Зюбин В.Е., Лях Т.В., Розов А.С. Язык Рефлекс: практическая нотация для кибер-физических систем  //  Системная информатика. — 2018. — № 12.  —  С. 85-104

Гаранина Н.О., Ануреев И.С., Зюбин В.Е. Constructing Verification-Oriented Domain-Specific Process Ontologies  //  Системная информатика. — 2019. — № 14.  —  С. 19-30

Гаранина Н.О., Ануреев И.С., Зюбин В.Е., Розов А.С., Лях Т.В., Горлач С.П. Рассуждения о программируемых логических контроллерах  //  Системная информатика. — 2020. — № 17.  —  С. 33-42

Гаранина Н.О., Старолетов С.М., Зюбин В.Е., Ануреев И.С. Верификация моделей программ на процесс-ориентированном расширении языка Structured Text стандарта IEC 61131-3  //  Системная информатика. — 2023. — № 22.  —  С. 21-30