马尔科·博扎诺 亚历山德罗·西马蒂 马可·加里奥 安德烈亚·米凯利 基于SMT的定时故障传播图验证。 3724-3730 2015 AAAI公司 https://doi.org/10.1609/aaai.v29i1.9753 conf/aaai/2015 db/conf/aaai/aaai2015.html#BozzanoCGM15