TETRA: Эпизод 2. Перенос спецификации на модель Simulink