Документация Engee
Верификация модели
Проверка утверждения
Проверка на нулевое значение сигнала.