马可·波扎诺 亚历山德罗·西马蒂 阿尔贝托·格里乔 马丁·乔纳斯 基于布尔故障传播的循环冗余结构的有效分析。 273-291 2022 TACAS（2） https://doi.org/10.1007/978-3-030-99527-0_15 conf/tacas/2022-2 db/conf/tacas/tacas2022-2.html#BozzanoCGJ22