Масштабирование результатов верификации моделей компонентов модульных вычислительных системдоклад на конференции