Гаранина Н.О., Старолетов С.М., Зюбин В.Е., Ануреев И.С. Верификация моделей программ на процесс-ориентированном расширении языка Structured Text стандарта IEC 61131-3 // № 22, 2023
Зюбин В.Е., Лях Т.В. Верификация промышленных алгоритмов управления методом Model checking в сочетании с концепцией виртуальных объектов управления // № 8, 2016
Черненко И.М. Подход к автоматизации дедуктивной верификации процесс-ориентированных программ, основанный на шаблонах // № 25, 2024
Зюбин В.Е., Лях Т.В., Розов А.С. Язык Рефлекс: практическая нотация для кибер-физических систем // № 12, 2018
