Nuclear Power Plants: Innovative Technologies for Instrumentation and Control Systems The Second International Symposium on Software Reliability, Industrial Safety, Cyber Security and Physical Protection of Nuclear Power Plant - Xu, Yang; Xu, Yang; Gao, Feng; Gao, Feng; Chen, Weihua; Chen, Weihua; Liu, Zheming; Liu, Zheming; Gu, Pengfei; Gu, Pengfei (Springer Singapore : Imprint: Springer, 2018)