Security Evaluation of Cyber-Physical Systems with Redundant Components | IEEE Conference Publication | IEEE Xplore