事件树分析法是一种时序逻辑的（）方法。

事件树分析法是一种时序逻辑的（）方法。
正确答案：事故分析