Семантическая модель языковых объектов для автоматизации процесса сертификации систем критического применения