姜瑜 徐忠伟 杜俊伟 基于安全需求的安全关键软件系统自动安全测试方法。 166-169年 2009 IFITA（3） https://doi.org/10.1109/IFITA.2009.18 https://doi.ieecomputersociety.org/10.1109/IFITA.2009.18 conf/ifita/2009 db/conf/ifita/ifita2009-3.html#YuXD09