马可·波扎诺 亚历山德罗·西马蒂 克里斯蒂安·马塔雷 可靠性体系结构的自动分析。 198-207 2013 ICECCS公司 https://doi.org/10.109/ICECCS.2013.37 https://doi.ieecomputersociety.org/10.109/ICECCS.2013.37 https://www.wikidata.org/entity/Q62041166 conf/iceccs/2013 db/conf/iceccs/iceccs2013.html#BozzanoCM13