Cyberphysical Security and Dependability Analysis of Digital Control Systems in Nuclear Power Plants | Synapse