伊莎贝拉·兰扎尼 里卡多·斯卡托里尼 恩里科·齐奥 亚历山德罗·西马蒂 马可·波扎诺 斯特凡诺·托内塔 用于故障树分析的基于模型的安全评估的两种正式方法。 376-383 2023 ICSRS公司 https://doi.org/10.1109/ICSRS59833.2023.10381356 conf/icsrs/2023 db/conf/icsrs/icsrs2023.html#LanzaniSZCBT23