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