单项选择题

A.提出了HRA事件树
B.提出了BHEP数据库
C.提出的行为形成因子与人的实际失误概率联系紧密
D.以布尔代数为基础模型