ТЕРЕДО - Верификация программного обеспечения АСУ ТП