Reliability & Availability of Duplex Systems: Some Simple Models | IEEE Journals & Magazine | IEEE Xplore