Cyberphysical Security and Dependability Analysis of Digital Control Systems in Nuclear Power Plants | IEEE Journals & Magazine | IEEE Xplore