阿尔贝托·邦巴德利 马可·波扎诺 罗伯托·卡瓦达 亚历山德罗·西马蒂 阿尔贝托·格里乔 马西莫·纳扎里亚 埃多亚多·尼科洛迪 斯特凡诺·托内塔 COMPASTA：通过正式设计和验证功能扩展TAST。 21-27 2022 IMBSA公司 https://doi.org/10.1007/978-3-031-15842-1_2 conf/imbsa/2022 db/conf/imbsa/imbsa2022.html#BombardelliBCCG22