The availability of inspected systems subject to shocks and graceful degradation | IEEE Journals & Magazine | IEEE Xplore