将系统理论损失场景形式化为可执行的行为条件，用于基于模型的安全分析

Formalizing system-theoretic loss scenarios into executable behavioural conditions for model-based safety analysis

• Max Chopart 通讯
• Julien Vidalie
• Xavier de Bossoreille
• Andrej Lališ