Garanina N., Anureev I., Zyubin V. Constructing Verification-Oriented Domain-Specific Process Ontologies // # 14, 2019
Baar T., Schulte H. Safety Analysis of Longitunal Motion Controllers during Climb Flight // # 14, 2019
