马可·波扎诺 亚历山德罗·西马蒂 奥列格·利萨戈 克里斯蒂安·马塔雷 塞尔吉奥·莫弗 马可·罗维里 斯特凡诺·托内塔 Altarica模型的符号模型检查和安全评估。 2011 46 电子。Commun公司。欧洲协会软件。科学。Technol公司。 https://doi.org/10.14279/tuj.eceasst.46.697 db/journals/eceasst/eceasst46.html#BozzanoCLMMRT11