Nuclear Power Plants : The Sixth International Symposium on Software Reliability, Industrial Safety, Cyber Security and Physical Protection of Nuclear Power Plant (ISNPP) - Xu, Yang.; Gao, Feng; Gu, Pengfei; Liu, Yanyang; Liu, Zheming; Sun, Yongbin (Singapore Springer, 2022)