马可·波扎诺 乔治·德尔扎诺 基于失效协议的算法验证。 295-308 2002 conf/cav/2002 CAV汽车 https://doi.org/10.1007/3-540-45657-0_22 db/conf/cav/cav2002.html#BozzanoD02