马可·波扎诺 亚历山德罗·西马蒂 马可·加里奥 大卫琼斯 克里斯蒂安·马塔雷 基于模型的xSAP三模块发电机安全评估。 251-295 2021 33 形式方面计算。 2 https://doi.org/10.1007/s00165-021-00532-9 db/journals/fac/fac33.html#BozzanoCGJM21