马可·波扎诺 亚历山德罗·西马蒂 弗朗西斯科·塔帕罗 反应系统的符号故障树分析。 162-176 2007 conf/atva/2007年 ATVA公司 https://doi.org/10.1007/978-3-540-75596-8_13 https://www.wikidata.org/entity/Q62041324 db/conf/atva/atva2007.html#BozzanoCT07