Гаранина Н.О., Ануреев И.С., Зюбин В.Е. Constructing Verification-Oriented Domain-Specific Process Ontologies // № 14, 2019
Баар Т.., Шульте Х.. Safety Analysis of Longitunal Motion Controllers during Climb Flight // № 14, 2019
