Chenjing Yan Di Zhao Jinliang Gao Wei Zhang 0301 Research on Safety Analysis Techniques for Complex Software Systems. 39-47 2023 WSSE https://doi.org/10.1145/3631991.3631997 https://www.wikidata.org/entity/Q130836453 conf/wsse/2023 db/conf/wsse/wsse2023.html#YanZGZ23