Бодин Е.В. Spin для головоломок: Использование системы проверки моделей SPIN для решения японской головоломки о переправе через реку и головоломки "Куб-1" // № 2, 2013
Гаранина Н.О., Старолетов С.М., Зюбин В.Е., Ануреев И.С. Верификация моделей программ на процесс-ориентированном расширении языка Structured Text стандарта IEC 61131-3 // № 22, 2023
Старолетов С.М., Дубко А.В. Метод верификации параллельного и распределенного программного обеспечения на C# путем проведения трансформации абстрактного синтаксического дерева Roslyn в модель на Promela // № 15, 2019
Гаранина Н.О. Точный тест планируемости для систем реального времени с абстрактным планировщиком // № 25, 2024
