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