Nuclear Power Plants: Innovative Technologies for Instrumentation and Control Systems International Symposium on Software Reliability, Industrial Safety, Cyber Security and Physical Protection of Nuclear Power Plant (Springer Singapore, 2017)