马尔科·博扎诺 乔治·德尔扎诺 超越参数化验证。 221-235 2002 conf/tacas/2002 TACAS公司 https://doi.org/10.1007/3-540-46002-0_16 db/conf/tacas/tacas2002.html#BozzanoD02