下面的描述哪些是正确的？（ ） A: STAMP是Systems-TheoreticAccidentModelandProcesses的简称 B: STAMP是美国麻省理工大学Leveson教授2004年提出的 C: STAMP模型以系统理论为基础，将系统安全性视为复杂系统的涌现性 D: STAMP模型采用多层次控制结构建模方法构建安全控制结构模型