Human-reliability analysis of cooperative redundancy to support diagnosis | IEEE Journals & Magazine | IEEE Xplore