Evaluating Security and Availability of Multiple Redundancy Designs when Applying Security Patches | IEEE Conference Publication | IEEE Xplore