马可·波扎诺 亚历山德罗·西马蒂 奥列格·利萨戈 克里斯蒂安·马塔雷 塞尔吉奥·莫弗 马可·罗维里 斯特凡诺·托内塔 通过符号模型检查对哥斯达黎加模型进行安全评估。 464-483 2015 98 科学。计算。程序。 https://doi.org/10.1016/j.scico.2014.06.003 https://www.wikidata.org/entity/Q62041131 db/journals/scp/scp98.html#BozzanoCLMMRT15