Reliability of an Air Defense Computing System: Marginal Checking and Maintenance Programming | IEEE Journals & Magazine | IEEE Xplore