Defending Pressurized Water Reactors Against Stealthy Cyber Attacks