Coverage Modeling and Optimal Maintenance Frequency of an Automated Restoration Mechanism | IEEE Journals & Magazine | IEEE Xplore