马可·波扎诺 阿道夫·维拉菲奥里塔 FSAP/NuSMV-SA安全分析平台。 5-24 2007 9 国际期刊软件。技术工具。Transf公司。 1 https://doi.org/10.1007/s10009-006-0001-2 db/journals/sttt/sttt9.html#BozzanoV07