Тепикин Я.Е., Рафиков В.Р., Клинов И.В., Климова Т.Г., Дубинин Д.М., Гайдамакин Ф.Н. Автоматический инструмент верификации моделей генерирующего оборудования: поиск режимов, воспроизведение, оценка качества