(1) Модель, яка приймає ж входи і виробляє той же виходи як даного system.~(2) процесу розробки, або за допомогою моделі і в (1).