马可·波扎诺 亚历山德罗·西马蒂 克里斯蒂安·马塔雷 斯特凡诺·托内塔 通过基于合同的设计进行正式安全评估。 81-97 2014 ATVA公司 https://doi.org/10.1007/978-3-319-11936-6_7 https://www.wikidata.org/entity/Q6204114 conf/atva/2014 db/conf/atva/atva2014.html#BozzanoCMT14