马可·波扎诺 亚历山德罗·西马蒂 阿尔贝托·格里乔 克里斯蒂安·马塔雷 基于模型的安全分析的高效随时技术。 603-621 2015 CAV（1） https://doi.org/10.1007/978-3-319-21690-4_41 https://www.wikidata.org/entity/Q6204114 conf/cav/2015-1 db/conf/cav/cav2015-1.html#BozzanoCGM15